journal article
LitStream Collection
doi: 10.1177/002029409302600105pmid: N/A
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.
Showing 1 to 5 of 5 Articles