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"}