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)

Abstract

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
Pages154-158
Number of pages5
Edition290
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

Conference

ConferenceSoftware Engineering 88
CountryUnited Kingdom
CityLiverpool
Period11/07/198815/07/1988

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint

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

Cite this