Skip to main content

Software Quality Assurance using the SAZ Method

  • Conference paper
Z User Workshop, Cambridge 1994

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 46 Accesses

Abstract

Quality assurance is a problem in the development of software systems. Structured methods use diagrammatic and text formats, which are difficult to assess for quality. Formal specifications are easier to check, but do not facilitate iterative capture of requirements. This paper describes the benefits of combining a widely-used structured method (SSADM version 4) with a formal notation (Z).

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bauer, F.L., “Software Engineering”, Proceedings of the IFIP Congress, pp. 530–538 (1971).

    Google Scholar 

  2. Hosier, W. A., “Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming”, IEEE Transactions on Engineering Management, pp. 99–115 (June 1961).

    Google Scholar 

  3. ANSI/IEEE Standard Glossary of Software Engineering Terminology IEEE Std 729, IEEE (1983).

    Google Scholar 

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

    Google Scholar 

  5. Spivey, J. M., The Z Notation: A Reference Manual, Prentice Hall, London (1992). Second Edition

    Google Scholar 

  6. Polack, F., Whiston, M. and Mander, K. C., “The SAZ Method Version 1.1”, YCS 207, York (Jan 94).

    Google Scholar 

  7. Polack, F., Whiston, M. and Mander, K.C., “The SAZ Project: Integrating SSADM and Z”, LNCS 670 Proceedings, FME’93: Industrual Strength Formal Methods, Odense, Denmark, p. Springer Verlag, 1993 (April 1993).

    Google Scholar 

  8. Polack, F. A. C., Whiston, M. and Hitchcock, P., “Structured Analysis - A Draft Method for Writing Z Specifications”, pp. Springer Verlag in Proceedings of Sixth Annual Z User Meeting, York (Dec 1991 ). 1992

    Google Scholar 

  9. Weaver, P. L., Practical SSADM Version 4: A Complete Tutorial Guide, Pitman Publishing (1993).

    Google Scholar 

  10. Eva, M., SSADM Version 4: A User’s Guide, McGraw-Hill International (UK) Ltd (1992).

    Google Scholar 

  11. Downs, E., Clare, C. and Coe, I., Structured Systems Analysis and Design Method: Application and Context, Prentice-Hall (1992). 2nd Edition

    Google Scholar 

  12. CCTA, Quality Management for PRINCE and SSADM Projects,CCTA’s ISE Library: SSADM Version 4 Subject Guides (1992).

    Google Scholar 

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

    MATH  Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

  16. Spivey, J. M., “An Introduction to Z and formal specifications”, Software Engineering Journal 4 (1), pp. 40–50 (1989).

    Article  Google Scholar 

  17. Woodcock, J. C. P., “Structuring specifications in Z”, Software Engineering Journal 4 (1), pp. 51–65 (1989).

    Article  MathSciNet  Google Scholar 

  18. Brien, S. M. and Nicholls, J. E., “Z Base Standard (Version 1.0)”, ZIP/PRG/92/121 (November 1992).

    Google Scholar 

  19. Whiston, M., “Elicitation of State Invariants”, in Collected Papers on Databases, ed. Bridge, D., York (Jan 92 ).

    Google Scholar 

  20. Report of the Inquiry into the London Ambulance Service,South West Thames Regional Health Authority (February 1993).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Polack, F., Mander, K.C. (1994). Software Quality Assurance using the SAZ Method. In: Bowen, J.P., Hall, J.A. (eds) Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3452-7_13

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3452-7_13

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19884-0

  • Online ISBN: 978-1-4471-3452-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics