Andreas Müller, Wolfgang Schreiner,
"VDM - The Vienna Development Method"
, Serie Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 4-2009
VDM - The Vienna Development Method
Sprache des Titels:
The Vienna Development Method is a formal language developed at the IBM laboratories in Vienna. First we give a short overview of the history of VDM from programming language description to VDM++. The language and its syntax are described in the following. Since the invention of VDM lots of tools have been developed. One of them is mural, a proof framework for VDM. We explain the basic features of mural and give a short example proof. The most important tool for VDM today is VDMTools which is still beeing developed. We give an overview of VDMTools features and present a detailed example of a VDM++ model in VDMTools. The example includes Java code generation from VDM.
Sprache der Kurzfassung:
RISC, JKU Linz
Schloss Hagenberg, 4232 Hagenberg
Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria