Skip to main content
SpringerLink
Log in

Practical experience of formal specification: A programming interface for communications

  • Practical Experience With Formal Methods
  • Conference paper
  • First Online:
ESEC '89 (ESEC 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 387))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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

    Google Scholar 

  2. Systems Application Architecture Common Programming Interface Communications Reference IBM Order Number SC26-4399

    Google Scholar 

  3. Hayes I. J. Specification case studies Prentice-Hall, 1986

    Google Scholar 

  4. Hayes I. J. Applying formal specifications to software development in industry IEEE Transactions on Software Engineering Vol. SE-11 No 2 February 1985

    Google Scholar 

  5. Hoare C. A. R. Communication Sequential Processes Prentice-Hall, 1985

    Google Scholar 

  6. Dijkstra E. W. Guarded Commands, Nondeterminism and Formal Derivation of Programs Communications of the ACM Vol. 18 No 8 August 1975

    Google Scholar 

  7. Fagan M. E. Design and code inspections to reduce errors in program development IBM Systems Journal Vol. 15 No 3 1976 pp182–211

    Google Scholar 

  8. Fagan M. E. Advances in software inspections IEEE Transactions on Software Engineering Vol. SE-12 No 7 July 1986 pp744–751

    Google Scholar 

  9. Systems Application Architecture: An overview IBM Order Number GC26-4341

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM United Kingdom Laboratories Ltd, Hursley Park, SO21 2JN, Winchester, Hampshire

    John Wordsworth

Authors
  1. John Wordsworth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

C. Ghezzi J. A. McDermid

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation