The Role of Formal Methods in Software Development

Backhouse R. (1986). Program Construction and Verification. Prentice Hall International.

Bramson B.D. (1984). Malvern's program analysers. RSRE Research Review.

Coleman D. , and Gallimore R.M. (1987). Software Engineering Using Executable Specifications. Macmillan Computer Science Series.

Fenton N.E. , and Whitty R.W. (1986). Axiomatic approach to software metrication through program decomposition. The Computer Journal, 29, 4.

Good D. (1984). Mechanical proofs about computer programs. Report No. 41, Institute for Computing Science, The University of Texas at Austin.

Hayes I , (ed.) (1986). Specification Case Studies. Prentice Hall International.

He J. , Hoare C.A.R. , and Sanders J.W. (1986). Data Refinement Refined. Programming Research Group, University of Oxford.

Henderson P. (1986). Functional programming, formal specification and rapid prototyping. Transactions on Software Engineering, 12, IEEE.

Hoare C.A.R. (1969). An axiomatic basis for computer programming. CACM, 12, 10.

Jones C.B. (1986). Systematic Software Development Using VDM. Prentice Hall International.

Maibaum T.S.E. , Khosla S. , and Jeremaes P. (1986). A modal (action) logic for requirements specification. In Brown P.J. , and Barnes D.J. (eds.) Software Engineering 86. Peter Peregrinus.

McDermid J.A. , and Ripken K. (1984). Life Cycle Support in the Ada Environment. Cambridge University Press.

Milner A.J.R.G. (1980). Calculus of communicating systems. In Goos G. , and Hartmanis J. (eds.) Lecture Notes in Computer Science No. 92. Springer Verlag.

Mullery G.P. (1979). CORE – a method for controlled requirements specification. In Proceedings of 4th International Conference on Software Engineering. IEEE Computer Society Press.

Parnas D.L. (1972). On the criteria to be used in decomposing systems into modules. CACM, 15, 12.

Partsch H. , and Steinbruggen R. (1981). A comprehensive survey of program transformation systems. Report No. 18108. Institut für Informatik, Technical University of Munich.

Potts C.J. , and Finkelstein A. (1986). Structured common sense. In Brown P.J. , and Barnes D.J. (eds.) Software Engineering 86. Peter Peregrinus.

Sanella D. , and Tarlecki A. (1984). On Observational Equivalence and Algebraic Specification. Department of Computer Science, University of Edinburgh.

Thimbleby H.W. (1987). Delaying commitment: a general design heuristic. (Forthcoming.)

Zave P. (1982). An operational approach to requirements expression for embedded systems. Transactions on Software Engineering, 8, 3. IEEE.

Zilles S. (1974). Algebraic specification of data types. Report No. 11, Project MAC, Massachusetts Institute of Technology.