Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
• SEI Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-88-TR-026Abstract
The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented specification language, Meta-IV. VDM is also an informal collection of experiences in formal specification within several application domains. This paper provides an example of how VDM might be used in the area of communications, a new domain for VDM.
Cite This SEI Report
Pedersen, J., & Klein, M. (1988, November 1). Using the Vienna Development Method (VDM) to Formalize a Communication Protocol. (SEI Report CMU/SEI-88-TR-026). Retrieved July 20, 2026, from https://www.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/.
@techreport{pedersen_1988,
author={Pedersen, Jan and Klein, Mark},
title={Using the Vienna Development Method (VDM) to Formalize a Communication Protocol},
month={Nov},
year={1988},
number={{CMU/SEI-88-TR-026},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/},
note={Accessed: 2026-Jul-20}
}
Pedersen, Jan, and Mark Klein. "Using the Vienna Development Method (VDM) to Formalize a Communication Protocol." (CMU/SEI-88-TR-026). Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, November 1, 1988. https://www.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/.
J. Pedersen, and M. Klein, "Using the Vienna Development Method (VDM) to Formalize a Communication Protocol," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, SEI Report CMU/SEI-88-TR-026, 1-Nov-1988 [Online]. Available: https://www.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/. [Accessed: 20-Jul-2026].
Pedersen, Jan, and Mark Klein. "Using the Vienna Development Method (VDM) to Formalize a Communication Protocol." (SEI Report CMU/SEI-88-TR-026). Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 1 Nov. 1988. https://www.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/. Accessed 20 Jul. 2026.
Pedersen, Jan; & Klein, Mark. Using the Vienna Development Method (VDM) to Formalize a Communication Protocol. CMU/SEI-88-TR-026. Software Engineering Institute. 1988. https://www.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/