Giovanna Di Marzo Serugendo. On the Use of Formal Specifications as Part of Running Programs. In Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Paolo Giorgini, Tom Holvoet, Alexander B. Romanovsky, editors, Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of SELMAS 2005]. Volume 3914 of Lecture Notes in Computer Science, pages 224-237, Springer, 2005. [doi]
Abstract is missing.