Vienna Development Method

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 u. a.: Validated Designs for Object-oriented Systems. Springer Verlag, London u. a. 2005, ISBN 1-85233-881-4, auch teilweise online.
John Fitzgerald u. a.: Modelling Systems. Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge u. a. 1998, ISBN 0-521-62605-6.
Cliff B. Jones: Systematic Software Development using VDM. 2nd Edition. Prentice Hall, New York NY u. a. 1990, ISBN 0-13-880733-7, (Prentice Hall international Series in Computer Science), auch online abrufbar (ZIP; 1,1 MB).

Weblinks

vdmportal.org – Informationen über VDM und VDM++

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.