Skip to main content
SpringerLink
Log in

The SAZ project: Integrating SSADM and Z

  • Papers
  • Conference paper
  • First Online:
FME '93: Industrial-Strength Formal Methods (FME 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 670))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Polack F., Whiston, M., Hitchcock, P.: The SAZ Method — Version 0.1. University of York (May 1992)

    Google Scholar 

  2. CCTA: SSADM Version 4 Reference Manual. NCC Blackwell Ltd (1990)

    Google Scholar 

  3. Spivey, J. M.: The Z Notation: A Reference Manual. Prentice Hall London (1989)

    Google Scholar 

  4. Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice Hall (1991)

    Google Scholar 

  5. Lightfoot, D.: Formal Specification using Z. MacMillan (1991)

    Google Scholar 

  6. Diller, A. Z.: An Introduction to Formal Methods. Wiley Chichester (1990)

    Google Scholar 

  7. Woodcock, J. C. P.: Structuring specifications in Z. Software Engineering Journal 4 (1), (1989) 51–65

    Article  Google Scholar 

  8. Spivey, J. M.: An Introduction to Z and formal specifications. Software Engineering Journal 4 (1), (1989) 40–50

    Google Scholar 

  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. Hamilton, V.: Experiences of combining Yourdon and VDM. Workshop on Methods Integration Leeds, Sept 1991 (for Publication, 1993)

    Google Scholar 

  11. Whittington, R. P.: Database Systems Engineering. Oxford (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of York, Y01 5DD, Heslington, York, UK

    Fiona Polack, Mark Whiston & Keith Mander

Authors
  1. Fiona Polack
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Whiston
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Keith Mander
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation