Abstract
The specification language Z has several features that help in the presentation of complex specifications, and some of these have been reviewed in this paper. The specification has given an increased understanding of the obligations that an implementation of CPI Communications has to meet, and has helped us to identify inconsistencies and missing information in the informal description. The inspection process can be used to validate formal specifications against informal requirements, and guidelines for judging the quality of formal specifications have been given.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Collins B. P., Nicholls J. E. and Sorensen I. H. Introducing formal methods: the CICS experience with Z IBM (Hursley) Technical Report TR12.260, December 1987
Systems Application Architecture Common Programming Interface Communications Reference IBM Order Number SC26-4399
Hayes I. J. Specification case studies Prentice-Hall, 1986
Hayes I. J. Applying formal specifications to software development in industry IEEE Transactions on Software Engineering Vol. SE-11 No 2 February 1985
Hoare C. A. R. Communication Sequential Processes Prentice-Hall, 1985
Dijkstra E. W. Guarded Commands, Nondeterminism and Formal Derivation of Programs Communications of the ACM Vol. 18 No 8 August 1975
Fagan M. E. Design and code inspections to reduce errors in program development IBM Systems Journal Vol. 15 No 3 1976 pp182–211
Fagan M. E. Advances in software inspections IEEE Transactions on Software Engineering Vol. SE-12 No 7 July 1986 pp744–751
Systems Application Architecture: An overview IBM Order Number GC26-4341
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wordsworth, J. (1989). Practical experience of formal specification: A programming interface for communications. In: Ghezzi, C., McDermid, J.A. (eds) ESEC '89. ESEC 1989. Lecture Notes in Computer Science, vol 387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51635-2_37
Download citation
DOI: https://doi.org/10.1007/3-540-51635-2_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51635-4
Online ISBN: 978-3-540-46723-6
eBook Packages: Springer Book Archive