„Vienna Development Method“ – Versionsunterschied

[gesichtete Version]

Inhalt gelöscht Inhalt hinzugefügt

Inline

Version vom 8. August 2010, 11:32 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++.

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.

@@ Zeile 2: / Zeile 2: @@
 == Literatur ==
-* John Fitzgerald et al, Validated Designs for Object-oriented Systems, Springer Verlag 2005. ISBN 1-85233-881-4, auch [http://www.vdmbook.com teilweise online].
+* 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].
-* John Fitzgerald et al, Modelling Systems, Cambridge University Press 1998. ISBN 0-521-62605-6.
+* 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 Jones, Systematic Software Development using VDM, Prentice Hall 1990. ISBN 0-13-880733-7, auch [http://www.csr.ncl.ac.uk/vdm/ssdvdm.pdf.zip online abrufbar].
+* 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].
 == Weblinks ==