Abstract
A formal specification of a complex programming language statement is presented. The subject matter was selected as being typical of the kind confronting a small software house. It is shown that formal specification notations may be applied, with benefit, to 'messy' problems. Emphasis is placed upon producing a specification which is readable by, and useful to a reader not familiar with formal notations.
| Original language | English |
|---|---|
| Pages (from-to) | 658-667 |
| Number of pages | 10 |
| Journal | Lecture Notes in Computer Science |
| Volume | 551 |
| Publication status | Published - 1991 |
| Event | 4TH INTERNATIONAL SYMP OF VDM EUROPE ON FORMAL SOFTWARE DEVELOPMENT METHODS ( VDM 91 ) - NOORDWIJKERHOUT, Netherlands Duration: 21 Oct 1991 → 25 Oct 1991 |