„Vienna Development Method“ – Versionsunterschied
| [ungesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
K recat |
K Bot: Ergänze: ja:VDM, uk:Віденський метод розробки |
||
| Zeile 13: | Zeile 13: | ||
[[en:Vienna Development Method]] |
[[en:Vienna Development Method]] |
||
[[ja:VDM]] |
|||
[[uk:Віденський метод розробки]] |
|||
Version vom 12. November 2007, 21:41 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 et al, Validated Designs for Object-oriented Systems, Springer Verlag 2005. ISBN 1-85233-881-4, auch teilweise online.
- 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 abrufbar.
Weblinks
- vdmportal.org - Informationen über VDM und VDM++