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.
|Number of pages||10|
|Journal||Lecture Notes in Computer Science|
|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