A specification of a complex programming language statement
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.
Unable to display preview. Download preview PDF.
- M. Clint and C. Vicent, “The Use of Ghost Variables and Virtual Programming in the Documentation and Verification of Programs”, Soft. Prac. and Exper., Vol. 14(8), pp. 711–737, 1984.Google Scholar
- C. Jones, Systematic Software Development using VDM, Second Edition, Prentice Hall International, 1990.Google Scholar
- P.McParland, Software Tools to Support Formal Methods, Ph.D. Thesis, The Queen's University of Belfast, 1989.Google Scholar
- “HUBOL Input Statement Specification”, Internal Report, Software Ireland Ltd., Northern Ireland.Google Scholar