Acm Sigsoft Software Engineering Notes Vol7 No 5 Dec 1982 Page 45

In this paper we discuss the use of a form of abstract specifications for software modules called trace axioms or trace assertions. Specifications written in this form precisely describe the external behavior of the module and can be automatically tested for consistancy and completeness. Errors revealed by the testing process can be rapidly corrected by a man-machine interactive process. These specifications could then be interpreted or compiled to form a rapid prototype of the final system.

[1]  Edsger W. Dijkstra,et al.  Guarded commands, non-determinacy and a calculus for the derivation of programs , 1975, Language Hierarchies and Interfaces.

[2]  David Lorge Parnas,et al.  Using traces to write abstract specifications for software modules , 1977 .

[3]  Lawrence Robinson,et al.  SPECIAL Reference Manual. , 1977 .

[4]  William Robert Price,et al.  Implications of a virtual memory mechanism for implementing protection in a family of operating systems , 1973 .

[5]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[6]  David Lorge Parnas,et al.  Abstract types defined as classes of variables , 1976, SIGMOD 1976.

[7]  Robert W. Floyd,et al.  Assigning meaning to programs , 1967 .

[8]  David Lorge Parnas,et al.  Design and Specification of the Minimal Subset of an Operating System Family , 1976, IEEE Transactions on Software Engineering.

[9]  D. L. Parnas,et al.  The design of the virtual memory aspects of a virtual machine , 1973, Workshop on Virtual Computer Systems.

[10]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[11]  J McLean.  A Formal Foundation for the Trace Method of Software Specification. , 1982 .

[12]  David Lorge Parnas.  A technique for software module specification with examples , 1983, CACM.

[13]  N. S. Barnett,et al.  Private communication , 1969 .

[14]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[15]  John V. Guttag,et al.  The specification and application to programming of abstract data types. , 1975 .