https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Vienna_Development_MethodVienna Development Method - Versionsgeschichte2026-05-17T23:57:22ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Vienna_Development_Method&diff=974972&oldid=prev178.15.162.169: Link korrigiert2024-05-14T06:38:26Z<p>Link korrigiert</p>
<p><b>Neue Seite</b></p><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