Vienna Development Method
Methode zur Entwicklung von Programmiersprachen mittels Metasprachen
Vienna Development Method (VDM) ist eine Methode zur Programm-Entwicklung, die auf Formale Spezifikationen mit Hilfe der VDM Spezifikations Sprache (VDM-SL) basiert. Es gibt eine Object orientierte Erweiterung, VDM++.
Weblinks
Quellen
Bücher
- John Fitzgerald et al, Validated Designs for Object-oriented Systems, Springer Verlag 2005. ISBN 1-85233-881-4. Siehe [1] das viele Beispiele enthält.
- John Fitzgerald et al, Modelling Systems, Cambridge University Press 1998. ISBN 0-521-62605-6
- Cliff Jones, Systematic Software Development using VDM, Prentice Hall 1990. ISBN 0-13-880733-7. auch online frei erhältlich: http://www.csr.ncl.ac.uk/vdm/ssdvdm.pdf.zip