What are formal methods

Abstract Examples of the use of formal methods are given. The benefits of using formal methods are examined, as well as the problem of making formal methods more widely used. The relation between using formal methods and using other approaches to software development, like rapid prototyping, is also considered.

[1]  José Meseguer,et al.  Rapid prototyping: in the OBJ executable specification language , 1982, Rapid Prototyping.

[2]  David A. Duce,et al.  Formal Specification - A Comparison of Two Techniques , 1987, Comput. J..

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

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

[5]  Maurice Bruynooghe,et al.  Prolog as a language for prototyping of information systems , 1984 .

[6]  C. A. R. Hoare,et al.  An Overview of Some Formal Methods for Program Design , 1987, Computer.

[7]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[8]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[9]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

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

[11]  Peter Schnupp,et al.  An Evaluation of Prolog as a Prototyping System , 1984 .

[12]  Kenneth E. Lantz,et al.  The Prototyping Methodology , 1986 .

[13]  K. Popper,et al.  Conjectures and Refutations , 1963 .