Abstract
SAZ [4,6] is an integrated method developed at the University of York1. The method takes a diagram-and-text specification and develops a formal description of (Z) state and operations. SAZ was originally developed [7] for use with SSADM version 4, and has been shown to raise issues which are not traditionally apparent in systems analysis and design [5].
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
Barden R., Stepney S., Cooper D. (1994) Z In Practice. BCS Practitioner Series. Prentice-Hall, New York
CCTA (1990) SSADM Version 4 Reference Manual. NCC Blackwell Ltd, Oxford
Goodland M., Slater C. (1995) SSADM Version 4. A Practical Approach. McGraw-Hill, London
Mander K.C., Polack F. (1995) Rigorous specification using structured systems analysis and Z. Information and Software Technology, 37 (5): 285–291
Parker H.E.D., Polack F., Mander K.C. (1995) Trial of SAZ: Reflections on the use of an integrated specification method. In H. Habrias, editor, Z Twenty Years On: What Is Its Future?,Nantes,France,October 1995. IRIN, University of Nantes
Polack F., Whiston M., Mander K.C. (1993) The SAZ project: Integrating SSADM and Z. In J.C.P. Woodcock and P.G. Larsen, editors, FME’93: Industrial SSADM Formal Methods at Odense,Denmark,April 1993, volume 670 of LNCS, pages 541–557. Springer-Verlag, Heidelberg
Polack F., Whiston M., Mander K.C. (1994) The SAZ method version 1.1. Technical Report YCS207, University of York
Toyn I. (1999) Z notation — final committee draft. Technical report, ISO, Project No JTC1.33.45, Available from http://www-users.cs.york.ac.uk/`ian/zstan/.
Woodcock J.C.P. (1989) Structuring specifications in Z. Software Engineering Journal, 4 (1): 51–65
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this chapter
Cite this chapter
Polack, F. (2001). SAZ: SSADM Version 4 and Z. In: Frappier, M., Habrias, H. (eds) Software Specification Methods. Formal Approaches to Computing and Information Technology FACIT. Springer, London. https://doi.org/10.1007/978-1-4471-0701-9_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0701-9_2
Publisher Name: Springer, London
Print ISBN: 978-1-85233-353-9
Online ISBN: 978-1-4471-0701-9
eBook Packages: Springer Book Archive