Using The Vienna Development Method Vdm To Formalize A Communication Protocol
Download Using The Vienna Development Method Vdm To Formalize A Communication Protocol PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Using The Vienna Development Method Vdm To Formalize A Communication Protocol book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Using the Vienna Development Method (VDM) to Formalize a Communication Protocol
Author: Carnegie-Mellon University. Software Engineering Institute
language: en
Publisher:
Release Date: 1988
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 forVDM."