A SPECIFICATION OF A COMPLEX PROGRAMMING LANGUAGE STATEMENT

P MCPARLAND, P KILPATRICK

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)658-667
Number of pages10
JournalLecture Notes in Computer Science
Volume551
Publication statusPublished - 1991
Event4TH INTERNATIONAL SYMP OF VDM EUROPE ON FORMAL SOFTWARE DEVELOPMENT METHODS ( VDM 91 ) - NOORDWIJKERHOUT, Netherlands
Duration: 21 Oct 199125 Oct 1991

Cite this