Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
• Technical 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 Technical Report
Pedersen, J., & Klein, M. (1988, November 1). Using the Vienna Development Method (VDM) to Formalize a Communication Protocol. (Technical Report CMU/SEI-88-TR-026). Retrieved April 18, 2024, from https://insights.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},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/},
note={Accessed: 2024-Apr-18}
}
Pedersen, Jan, and Mark Klein. "Using the Vienna Development Method (VDM) to Formalize a Communication Protocol." (CMU/SEI-88-TR-026). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, November 1, 1988. https://insights.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," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-88-TR-026, 1-Nov-1988 [Online]. Available: https://insights.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/. [Accessed: 18-Apr-2024].
Pedersen, Jan, and Mark Klein. "Using the Vienna Development Method (VDM) to Formalize a Communication Protocol." (Technical Report CMU/SEI-88-TR-026). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Nov. 1988. https://insights.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/. Accessed 18 Apr. 2024.
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://insights.sei.cmu.edu/library/using-the-vienna-development-method-vdm-to-formalize-a-communication-protocol/