Introduction to Formal Methods for Software Engineering
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 form...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
1993-02-01
|
| Series: | Measurement + Control |
| Online Access: | https://doi.org/10.1177/002029409302600105 |