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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bauer, F.L., “Software Engineering”, Proceedings of the IFIP Congress, pp. 530–538 (1971).
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).
ANSI/IEEE Standard Glossary of Software Engineering Terminology IEEE Std 729, IEEE (1983).
CCTA, SSADM Version 4 Reference Manual, NCC Blackwell Ltd (1990).
Spivey, J. M., The Z Notation: A Reference Manual, Prentice Hall, London (1992). Second Edition
Polack, F., Whiston, M. and Mander, K. C., “The SAZ Method Version 1.1”, YCS 207, York (Jan 94).
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).
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
Weaver, P. L., Practical SSADM Version 4: A Complete Tutorial Guide, Pitman Publishing (1993).
Eva, M., SSADM Version 4: A User’s Guide, McGraw-Hill International (UK) Ltd (1992).
Downs, E., Clare, C. and Coe, I., Structured Systems Analysis and Design Method: Application and Context, Prentice-Hall (1992). 2nd Edition
CCTA, Quality Management for PRINCE and SSADM Projects,CCTA’s ISE Library: SSADM Version 4 Subject Guides (1992).
Diller, A., Z. An Introduction to Formal Methods, Wiley, Chichester (1990).
Lightfoot, D., Formal Specification using Z, MacMillan (1991).
Potter, B., Sinclair, J. and Till, D., An Introduction to Formal Specification and Z, Prentice Hall (1991).
Spivey, J. M., “An Introduction to Z and formal specifications”, Software Engineering Journal 4 (1), pp. 40–50 (1989).
Woodcock, J. C. P., “Structuring specifications in Z”, Software Engineering Journal 4 (1), pp. 51–65 (1989).
Brien, S. M. and Nicholls, J. E., “Z Base Standard (Version 1.0)”, ZIP/PRG/92/121 (November 1992).
Whiston, M., “Elicitation of State Invariants”, in Collected Papers on Databases, ed. Bridge, D., York (Jan 92 ).
Report of the Inquiry into the London Ambulance Service,South West Thames Regional Health Authority (February 1993).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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