References
P. Ciancarini, S. Cimato, and C. Mascolo. Engineering formal requirements: an analysis and testing method for Z documents. Technical Report UBLCS-6, Dipartimento di Scienze dell'Informazione, Università di Bologna, Italy, 1996.
P. Ciancarini and M. Gaspari. Rule Based Coordination of Logic Programs. Computer Languages, (to appear), 1996.
A. Evans. Specifying and Verifying Concurrent Systems Using Z. In M. Bertran, T. Denvir, and M. Naftalin, editors, Proc. FME'94 Industrial Benefits of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 366–380. Springer-Verlag, Berlin, 1994.
J. Spivey. The Z Notation. A Reference Manual. Prentice-Hall, 2 edition, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciancarini, P., Cimato, S. (1996). Animating a non-executable formal specification with a distributed symbolic language. In: Calmet, J., Limongelli, C. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1996. Lecture Notes in Computer Science, vol 1128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61697-7_20
Download citation
DOI: https://doi.org/10.1007/3-540-61697-7_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61697-9
Online ISBN: 978-3-540-70635-9
eBook Packages: Springer Book Archive