Abstract
Formal methods permit more precise specifications and earlier error detection. Software developers who want to benefit from formal methods would be wise to heed these ten guidelines.
Original language | English |
---|---|
Pages | 56-63 |
Number of pages | 8 |
Volume | 28 |
No. | 4 |
Specialist publication | Computer |
DOIs | |
Publication status | Published - Apr 1995 |
Externally published | Yes |