Advertisement

A specification of a complex programming language statement

  • P. McParland
  • P. Kilpatrick
Reports
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    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
  2. [2]
    C. Jones, Systematic Software Development using VDM, Second Edition, Prentice Hall International, 1990.Google Scholar
  3. [3]
    P.McParland, Software Tools to Support Formal Methods, Ph.D. Thesis, The Queen's University of Belfast, 1989.Google Scholar
  4. [4]
    “HUBOL Input Statement Specification”, Internal Report, Software Ireland Ltd., Northern Ireland.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • P. McParland
    • 1
  • P. Kilpatrick
    • 2
  1. 1.Institute of Software EngineeringBelfast
  2. 2.Department of Computer ScienceThe Queen's University of BelfastBelfast

Personalised recommendations