Abstract
Formal notations provide a precise specification language which can improve the quality of software design. However, industrial take-up of these notations is slow. One reason is the lack of a simple introductory method, which fits into methods already used by industry. A draft method is proposed by which the products of an SSADM analysis guide the development of Z schemas. This provides a way into formal notations for the uninitiated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lucas, P. On the Formalisation of Programming Languages: Early History and Main Approaches. The Vienna Development Method: The Meta Language, LNCS 61, 1978, pp1–23.
Delisle, N. and Garlan, D. A Formal Specification of an Oscilloscope. IEEE Software, 1990, pp29–36.
Barrett, G. Formal Methods Applied to a Floating Point Number System. IEEE Transactions on Software Engineering, vol 15, no 5, May 1989, pp611–621.
Hares, J.S. SSADM for the Advanced Practitioner. Wiley, 1990.
Ashworth, C. and Goodland, M. SSADM: A Practical Approach. McGraw-Hill, 1990.
CCTA. SSADM Version 4 Reference Manual. NCC Blackwell Ltd, 1990.
Semmens, L. and Allen, P. Using Yourdon and Z: an Approach to Formal Specification. Proceedings of Fifth Annual Z User Meeting, Oxford, Dec 1990, Springer-Verlag 1991.
Stepney, S. Specifying Entity-Relation Diagrams in Z. Logica (Cambridge), ORCA/Logica/90/017, 1990.
Polack, F. Integrating Formal Notations and Systems Analysis: On the Formalising of Entity Relationship Diagrams. University of York, SAZ/91/004, 1991.
Redmond-Pyle, D and Josephs, M. Enriching a Structured Method with Z. Workshop on Methods Integration, Leeds, 26 September 1991 (for publication 1992).
Polack, F. Preconditions from Entity Life Histories. University of York, SAZ/91/014, July 1991.
Polack, F. SSADM version 4 Function Definitions and the Role of Effect Correspondence Diagrams and I/O Structures in Developing Formal Specifications. University of York, SAZ/91/017, October 1991.
Randell, G. Data Flow Diagrams in Z. Proceedings of Fifth Annual Z User Meeting, Oxford, Dec, 1990, Springer-Verlag 1991.
Barclay, K. A., Duncan, R. and Savage, W. J. A Rigorous Method of Software Production. Ada User, vol 10 Conference Supplement, 1989, pp c94–c102.
Hamilton, V. Experiences of Combining Yourdon and VDM. Workshop on Methods Integration, Leeds, 26 September 1991 (for publication 1992).
Garlan, D. and Delisle, N. Formal Specifications as Reusable Frameworks. VDM-90, LNCS 428, pp 150–163.
Flinn, W. and Sørensen, I. H. CAVIAR: A Case Study in Specification. In Hayes, I. (ed). Specification Case Studies. Prentice Hall, 1987, pp141–188.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 British Computer Society
About this paper
Cite this paper
Polack, F., Whiston, M., Hitchcock, P. (1992). Structured Analysis — A Draft Method for Writing Z Specifications. In: Nicholls, J.E. (eds) Z User Workshop, York 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3203-5_14
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3203-5_14
Publisher Name: Springer, London
Print ISBN: 978-3-540-19780-5
Online ISBN: 978-1-4471-3203-5
eBook Packages: Springer Book Archive