Abstract
This paper investigates the rationale for integrating a structured systems analysis method (SSADM version 4) and a formal notation (Z). It describes the integrated specification, and discusses the advantages and disadvantages of formal specification and development for information systems.
Preview
Unable to display preview. Download preview PDF.
References
Polack F., Whiston, M., Hitchcock, P.: The SAZ Method — Version 0.1. University of York (May 1992)
CCTA: SSADM Version 4 Reference Manual. NCC Blackwell Ltd (1990)
Spivey, J. M.: The Z Notation: A Reference Manual. Prentice Hall London (1989)
Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice Hall (1991)
Lightfoot, D.: Formal Specification using Z. MacMillan (1991)
Diller, A. Z.: An Introduction to Formal Methods. Wiley Chichester (1990)
Woodcock, J. C. P.: Structuring specifications in Z. Software Engineering Journal 4 (1), (1989) 51–65
Spivey, J. M.: An Introduction to Z and formal specifications. Software Engineering Journal 4 (1), (1989) 40–50
Semmens, L., Allen, P.: Using Yourdon and Z: an Approach to Formal Specification. Proceedings of Fifth Annual Z User Group Meeting Oxford, Springer Verlag (1991)
Hamilton, V.: Experiences of combining Yourdon and VDM. Workshop on Methods Integration Leeds, Sept 1991 (for Publication, 1993)
Whittington, R. P.: Database Systems Engineering. Oxford (1988)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Polack, F., Whiston, M., Mander, K. (1993). The SAZ project: Integrating SSADM and Z. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024666
Download citation
DOI: https://doi.org/10.1007/BFb0024666
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56662-5
Online ISBN: 978-3-540-47623-8
eBook Packages: Springer Book Archive