Software tools for VDM

P. McParland*, P. Kilpatrick

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

1 Citation (Scopus)


Formal (mathematical) methods are being increasingly used in the development of software systems. It is recognized that formal specification of a problem, before attempting to write a program, can lead to a more accurate solution. A number of industrial trials and case studies have demonstrated the benefits of a number of formal methodologies. It is apparent also that acceptance and use of such methods will be greatly aided by the development of software tools to manipulate the notation involved. The authors describe a tool set developed to assist the construction of specifications using the Vienna Development Method (VDM). A certain familiarity with VDM is assumed, and only a brief resume is given.

Original languageEnglish
Title of host publicationProceedings Software Engineering '88
Number of pages5
Publication statusPublished - 01 Dec 1988
Externally publishedYes
EventSoftware Engineering 88 - Liverpool, United Kingdom
Duration: 11 Jul 198815 Jul 1988

Publication series

NameIEE Conference Publication
PublisherInstitution of Engineering and Technology
ISSN (Print)0537-9989


ConferenceSoftware Engineering 88
Country/TerritoryUnited Kingdom

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Software tools for VDM'. Together they form a unique fingerprint.

Cite this