„Vienna Development Method“ – Versionsunterschied
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
K Bot: Füge Dateiinformationen hinzu |
2ci2 (Diskussion | Beiträge) Wikilink zu einem speziellen Abschnitt in anderem Artikel eingefügt: Abstraktion -> Spezifikationsprachen |
||
| Zeile 1: | Zeile 1: | ||
'''Vienna Development Method''' ('''VDM''') ist eine Methode zur Entwicklung von Computer-Programmen, die auf [[Formale Spezifikation|formalen Spezifikationen]] mit Hilfe der VDM-eigenen Spezifikationssprache [[Vienna Definition Language]] basiert. Es gibt eine [[Objektorientierung|objektorientierte]] Erweiterung, [[VDM++]]. |
'''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++]]. |
||
== Literatur == |
== Literatur == |
||
Version vom 14. Mai 2018, 01:08 Uhr
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++