Abstract
The two case studies are specified in Z++, to highlight the differences and similarities between the specification styles possible in this language and in the other object-oriented extensions to Z. A full description of the Z++ language is contained in [Lano and Haughton 1991], and is also described in [Lano 1991]. Here we give only an overview of the syntax.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag London
About this paper
Cite this paper
Lano, K.C. (1992). Z++ . In: Stepney, S., Barden, R., Cooper, D. (eds) Object Orientation in Z. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3552-4_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3552-4_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-19778-2
Online ISBN: 978-1-4471-3552-4
eBook Packages: Springer Book Archive