Digital Library
Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.
December 1989 - Curriculum Module
Software Development Using VDM
Authors:
Jan Storbank Pedersen
This 1989 report introduces the Vienna Development Method (VDM) approach to software development. The VDM method is oriented toward a formal model view of the software to be developed.
November 1988 - Technical Report
Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
Authors:
Jan Storbank Pedersen, Mark H. Klein
This 1988 paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.