Vienna Development Method

related topics
{math, number, function}
{system, computer, user}
{build, building, house}
{area, part, region}
{company, market, business}
{day, year, event}
{rate, high, increase}
{law, state, case}
{style, bgcolor, rowspan}
{language, word, form}
{school, student, university}
{work, book, publish}

The Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory[1] in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM Specification Language (VDM-SL). It has an extended form, VDM++[2], which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science.

Contents

Full article ▸

related documents
Group (mathematics)
Generic programming
Lisp (programming language)
Propositional calculus
Clifford algebra
Polynomial
Fourier transform
Discrete Fourier transform
Floating point
C (programming language)
Model theory
Ordinal number
Euclidean vector
Exponentiation
Quaternion
Algorithm
Integral
Mathematical logic
Regular expression
Common Lisp
Eiffel (programming language)
Emmy Noether
Surreal number
Prime number
Vector space
Singular value decomposition
Radix sort
Natural deduction
Derivative
Complex number