Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

Vienna Development Method (VDM) ist eine Methode zur Entwicklung von Computer-Programmen, die auf formalen Spezifikationen mit Hilfe der VDM-eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, VDM++.

Literatur

• 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

Weblinks

• Informationen über VDM und VDM++

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Vienna_Development_Method, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.