Abstract
This paper provides a brief introduction to the Z Base Standard published in November 1992 and made available for the first time at the Seventh Z User Meeting. Topics include:
-
Why? (reasons for developing a Z standard)
-
How? (technique of description)
-
What? (outline of contents & structure)
-
Help! (guidelines for reading the standard)
-
What next? (status and direction)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Z Base Standard (editors: Stephen Brien, John Nicholls), Version 1.0 dated 30th November 1992. Document ZIP/PRG/92/121 (obtainable from Programming Research Group, 11 Keble Road, Oxford OX1 3QD).
Proposal for a New Work Item: Z Specification Language,Document ISO/IEC JTC 1 N2159 dated 1992–10–09.
ISO 8879–1986 (E) Information Processing—Text and Office Systems Standard Generalised Markup Language (SGML),Geneva: ISO, 1986.
Meyer, B., Introduction to the theory of programming languages, Prentice-Hall, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nicholls, J.E. (1993). Plain guide to the Z Base Standard. In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3556-2_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-19818-5
Online ISBN: 978-1-4471-3556-2
eBook Packages: Springer Book Archive