Integrated Structured Analysis and Formal Specification Techniques

The last decade has seen a large increase in the used of structured methods of software development. They grew out of theri prodecessors, which consisted of a toolkit of techniques with little method of how and when to apply them. Methods such as Yourdan Structured Analysis 1 and SSADM 2 provide means of managing the complexity of large systems. They provide techniques and associated procedures for the development of such systems. In parallel with this, and almost entirely endependently, formal specification languages and methods have been developed

[1]  Michael Jackson,et al.  Principles of program design , 1975 .

[2]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[3]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[4]  T.W.G. Docker.  A formal basis for structured analysis , 1988 .

[5]  Thomas W. G. Docker.  SAME - A Structured Analysis Tool and its Implementation in Prolog , 1988, ICLP/SLP.

[6]  S. Goldsmith.  Using the Yourdon structured method (YSM) and Vienna development method (VDM) together during the system lifecycle , 1989 .

[7]  Tony Bryant.  Structured methodologies & formal notations: Developing a framework for synthesis and investigation , 1989, Z User Workshop.

[8]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[9]  G. P. Randell.  Translating Data Flow Diagrams into Z (and Vice Versa) , 1990 .

[10]  Lesley Semmens,et al.  Using Yourdon and Z: an Approach to Formal Specification , 1990, Z User Workshop.

[11]  Peter Hitchcock,et al.  Structured Analysis - A Draft Method for Writing Z Specifications , 1991, Z User Workshop.

[12]  T. H. Tse.  A Unifying Framework for Structured Analysis and Design Models: A Prototype System to Implement the Unifying Framework , 1991 .

[13]  Robert B. France,et al.  Semantically Extended Data Flow Diagrams: A Formal Specification Tool , 1992, IEEE Trans. Software Eng..

[14]  G. P. Randell.  Improving the Translation from Data Flow Diagrams into Z by Incorporating the Data Dictionary , 1992 .