https://wiki-de.moshellshocker.dns64.de/api.php?action=feedcontributions&feedformat=atom&user=178.15.162.169Wikipedia (Deutsch) – Lokale Kopie - Benutzerbeiträge [de]2026-06-12T11:25:01ZBenutzerbeiträgeMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Vienna_Development_Method&diff=974972Vienna Development Method2024-05-14T06:38:26Z<p>178.15.162.169: Link korrigiert</p>
<hr />
<div>'''Vienna Development Method''' ('''VDM''') ist eine Methode zur Entwicklung von Computer-Programmen, die auf [[Formale Spezifikation|formalen Spezifikationen]] mit Hilfe der VDM-eigenen [[Abstraktion (Informatik)#Spezifikationssprachen|Spezifikationssprache]] [[Vienna Definition Language]] basiert. Es gibt eine [[Objektorientierung|objektorientierte]] Erweiterung, [[VDM++]].<br />
<br />
== Literatur ==<br />
* John Fitzgerald u. a.: ''Validated Designs for Object-oriented Systems''. Springer Verlag, London u. a. 2005, ISBN 1-85233-881-4, auch [http://www.vdmbook.com teilweise online].<br />
* 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.<br />
* 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 [http://www.csr.ncl.ac.uk/vdm/ssdvdm.pdf.zip online abrufbar] ([[ZIP-Dateiformat|ZIP]]; 1,1&nbsp;MB).<br />
<br />
== Weblinks ==<br />
* [https://web.archive.org/web/20080828013815/http://www.vdmportal.org/ Information on VDM and VDM++ (archived copy at archive.org)] <br />
<br />
[[Kategorie:Softwaretechnik]]<br />
[[Kategorie:Theorie formaler Sprachen]]</div>178.15.162.169