Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

Using the Vienna Development Method (VDM) to Formalize a Communication Protocol

  • November 1988
  • By 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.
  • Publisher: Software Engineering Institute
    CMU/SEI Report Number: CMU/SEI-88-TR-026
  • Abstract

    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.

  • Download

Cite This Report

SEI

Pedersen, Jan; & Klein, Mark. Using the Vienna Development Method (VDM) to Formalize a Communication Protocol. CMU/SEI-88-TR-026 . Software Engineering Institute, Carnegie Mellon University. 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10725

IEEE

Pedersen. Jan, and Klein. Mark, "Using the Vienna Development Method (VDM) to Formalize a Communication Protocol," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-88-TR-026 , 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10725

APA

Pedersen, Jan., & Klein, Mark. (1988). Using the Vienna Development Method (VDM) to Formalize a Communication Protocol (CMU/SEI-88-TR-026 ). Retrieved October 20, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10725

CHI

Jan Pedersen, & Mark Klein. Using the Vienna Development Method (VDM) to Formalize a Communication Protocol (CMU/SEI-88-TR-026 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10725

MLA

Pedersen, Jan., & Klein, Mark. 1988. Using the Vienna Development Method (VDM) to Formalize a Communication Protocol (Technical Report CMU/SEI-88-TR-026 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10725

BibTex

@techreport{PedersenUsingthe1988,
title={Using the Vienna Development Method (VDM) to Formalize a Communication Protocol},
author={Jan Pedersen and Mark Klein},
year={1988},
number={CMU/SEI-88-TR-026 },
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10725} }