The SAZ Project: Integrating SSADM and Z

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.

[1]  R. P. Whittington.  Database Systems Engineering , 1988 .

[2]  J. Michael Spivey,et al.  An introduction to Z and formal specifications , 1989, Softw. Eng. J..

[3]  J. C. P. Woodcook.  Structuring specifications in Z , 1989 .

[4]  Lesley Semmens,et al.  Using Yourdon and Z: an Approach to Formal Specification , 1990, Z User Workshop.

[5]  David Lightfoot.  Formal Specification Using Z , 1991 .

[6]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[7]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[8]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.