Jan S. Pedersen
Software Engineering Institute
Publications by Jan S. Pedersen
-
Software Development Using VDM
December 01, 1989 • Curriculum Module
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.
read -
Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
November 01, 1988 • Technical Report
Jan Storbank PedersenMark H. Klein
This 1988 paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.
read