Abstract
A medium-scale commercial software project which used Z extensively is described. The project developed a CASE toolset to support SSADM. A large specification was produced which was then implemented using the object-oriented language Objective-C. Using Z undoubtedly made the system specification more precise and less open to misinterpretation. The conclusion is that Z can be used as a tool for better system specification with real gains in clarity of expression without requiring formal refinement.
Keywords
- Abstract Specification
- Large Specification
- Formal Refinement
- Concrete Specification
- Informal Specification
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Cox, B J, Object Oriented Programming, Addison–Wesley, London ISBN 0–201–10393–1, 1986.
Longworth, G and Nicholls, D, SSADM Manual, NCC Publications, Manchester, 1986.
Boehm, B W, Software Engineering Economics, Prentice Hall, 1981.
Spivey, J M, The Z Notation, A Reference Manual, Prentice Hall ISBN 0–13–983768–X (paperback), 1988.
Hall, J A, Using Z as a Specification Calculus for Object-Oriented Systems. (To appear in Proceedings of `VDM9O’)
Lowe, C, ASCII Forsite: Users Guide,Racal Research Ltd.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag London
About this paper
Cite this paper
Brownbridge, D. (1990). Using Z to Develop a CASE Toolset. In: Nicholls, J.E. (eds) Z User Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3877-8_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3877-8_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-19627-3
Online ISBN: 978-1-4471-3877-8
eBook Packages: Springer Book Archive