Skip to main content
Springer Nature Link
Log in

Modular extensions to Z

  • Modularity
  • Conference paper
  • First Online:
VDM '90 VDM and Z — Formal Methods in Software Development (VDM 1990)

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

Included in the following conference series:

Abstract

This paper suggests some mechanisms for supporting a modular approach to specifications written using Z. The general idea is that a (system) specification must be a document which may be split into chapters. Chapters may share objects through import and export declarations, and it is possible to define generic chapters which may be instantiated.

A Visiting CNPq-British Council Research Fellow at The Computing Lab, University of Kent at Canterbury, when the final version of this paper was produced.

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.

Similar content being viewed by others

References

  1. Bear, S.: “Structuring for the VDM Specification Language”. Proc. VDM 88, Dublin, Ireland, 1988.

    Google Scholar 

  2. Burstall, R. M. & J. A. Goguen: “An Informal Introduction to Specifications Using Clear”. In The Correctness Problem in Computer Science, ed. R. S. Boyer & J. S. Moore, pp. 185–213. Academic Press, 1981.

    Google Scholar 

  3. Hayes, I.: “Specification Case Studies”. Prentice-Hall International, 1987.

    Google Scholar 

  4. Henderson, P. & C. Minkowitz: “The me too Method of Software Design”. Dep. Comput. Science, Univ. Stirling, Stirling, Scotland, Rep. FPN/10, 1985. (Available from the Authors).

    Google Scholar 

  5. Jones, C. J.: “System Software Development Using VDM”. Prentice-Hall International, 1986.

    Google Scholar 

  6. King, S., I. Sørensen & J. Woodcock: “Z: Grammar and Concrete and Abstract Syntaxes”. Mono. PRG-68, Oxford University Computing Laboratory, 1988.

    Google Scholar 

  7. Sampaio, A.: “Zc: A Notation for Specifying Complex Systems”. (In Portuguese). MSc Thesis, Dep. of Informatics, Federal University of Pernambuco, Recife, Brazil, 1988.

    Google Scholar 

  8. Souto, R.: “Formal Specification of Large Systems — A Real Example”. (In Portuguese). MSc Thesis, Dep. of Informatics, Federal University of Pernambuco, Recife, Brazil, 1988.

    Google Scholar 

  9. Spivey, J. M.: “Understanding Z: A Specification Language and its Formal Semantics”. DPhil Thesis, Programming Research Group, University of Oxford, 1985.

    Google Scholar 

  10. Spivey, J. M.: “The Z Notation—A Reference Manual”, JMS-87-12d, Programming Research Group, University of Oxford, 1988.

    Google Scholar 

  11. Vasconcelos, A.: “Specifying the Interface of a Hypertext System”. (In Portuguese). MSc Thesis, Dep. of Informatics, Federal University of Pernambuco, Recife, Brazil, 1988.

    Google Scholar 

  12. Woodcock, J.: “Structuring specifications”. Programming Research Group, University of Oxford, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group, Oxford University, 8-11 Keble Road, OX1 3QD, Oxford, UK

    Augusto Sampaio

  2. Departamento de Informática, Universidade Federal de Pernambuco, PO Box 7851, 50739, Recife BR

    Silvio Meira

Authors
  1. Augusto Sampaio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Silvio Meira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. Bjørner C. A. R. Hoare H. Langmaack

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sampaio, A., Meira, S. (1990). Modular extensions to Z. In: Bjørner, D., Hoare, C.A.R., Langmaack, H. (eds) VDM '90 VDM and Z — Formal Methods in Software Development. VDM 1990. Lecture Notes in Computer Science, vol 428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52513-0_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-52513-0_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52513-4

  • Online ISBN: 978-3-540-47006-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics