This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly. Finally the benefits and limitations of formal methods are summarized.
Get full access to this article
View all access options for this article.
References
1.
JonesC (1986) Systematic Software Development Using VDM. London, Prentice Hall.
2.
SpiveyJ M (1989) The Z Notation. London. Prentice Hall.
3.
BolognesiTBrinksmaE (1987) Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14, 25–59.
