RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC3820,
    author = {Andreas Müller},
    title = {{VDM - The Vienna Development Method}},
    language = {english},
    abstract = {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.},
    year = {2009},
    month = {April},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria},
    length = {45},
    type = {Bachelor thesis in "Formal Methods in Software Engineering"}