Advertisement

The SAZ project: Integrating SSADM and Z

  • Fiona Polack
  • Mark Whiston
  • Keith Mander
Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)

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.

Keywords

Quality Audit Type Definition Formal Notation Order Line Free Type 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Polack F., Whiston, M., Hitchcock, P.: The SAZ Method — Version 0.1. University of York (May 1992)Google Scholar
  2. 2.
    CCTA: SSADM Version 4 Reference Manual. NCC Blackwell Ltd (1990)Google Scholar
  3. 3.
    Spivey, J. M.: The Z Notation: A Reference Manual. Prentice Hall London (1989)Google Scholar
  4. 4.
    Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice Hall (1991)Google Scholar
  5. 5.
    Lightfoot, D.: Formal Specification using Z. MacMillan (1991)Google Scholar
  6. 6.
    Diller, A. Z.: An Introduction to Formal Methods. Wiley Chichester (1990)Google Scholar
  7. 7.
    Woodcock, J. C. P.: Structuring specifications in Z. Software Engineering Journal 4 (1), (1989) 51–65CrossRefGoogle Scholar
  8. 8.
    Spivey, J. M.: An Introduction to Z and formal specifications. Software Engineering Journal 4 (1), (1989) 40–50Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Hamilton, V.: Experiences of combining Yourdon and VDM. Workshop on Methods Integration Leeds, Sept 1991 (for Publication, 1993)Google Scholar
  11. 11.
    Whittington, R. P.: Database Systems Engineering. Oxford (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Fiona Polack
    • 1
  • Mark Whiston
    • 1
  • Keith Mander
    • 1
  1. 1.Department of Computer ScienceUniversity of YorkHeslingtonUK

Personalised recommendations