Abstract
This chapter describes an approach to specifying objects in Z which is particularly appropriate if the specifications are to be used for subsequent refinement and proof. When carrying out such proof it is useful to be able to provide a strong degree of separation between the objects so that it is possible to reason about the use of those objects without having to consider their internal details. The particular approach described here is motivated in some detail in [Whysall and McDermid 1991a] and [Whysall and McDermid 1991b].
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
Whysall, P.J. (1992). Z Expression of Refinable Objects. 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_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3552-4_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-19778-2
Online ISBN: 978-1-4471-3552-4
eBook Packages: Springer Book Archive