Vienna Development Method
- Vienna Development Method
-
El Vienna Development Method (VDM), en español, «Método de Desarrollo de Viena» es un método para el desarrollo de programas informáticos, que se base en especificaciones formales con ayuda del idioma de especificación propio Vienna Definition Language. Hay una extensión con orientación de objetos, VDM++.
Bibliografía
- 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.
Enlaces externos
Wikimedia foundation.
2010.
Mira otros diccionarios:
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 … Deutsch Wikipedia
Vienna Development Method — The Vienna Development Method (VDM) is one of the longest established Formal Methods for the development of computer based systems. Originating in work done at IBM s Vienna Laboratory [Some idea of that work, including a technical report TR… … Wikipedia
Vienna Development Method — Pour les articles homonymes, voir VDM. La Vienna Development Method, abrégé par le sigle VDM, est un ensemble d outils de développement informatique faisant appel à un grand formalisme. Une variante de la méthode VDM se nomme VDM++. Elle a été… … Wikipédia en Français
Vienna Definition Language — Die Vienna Definition Language (VDL) ist eine im IBM Labor in Wien entwickelte Programmiersprache, die verwendet werden kann, um formale, algebraische Definitionen von Programmiersprachen für Computersoftware mit einer Operationellen Semantik… … Deutsch Wikipedia
Vienna Definition Language — El Vienna Definition Language (VDL), en español, «Lenguaje de Definición de Viena» es un lenguaje de programación desarrollado en un centro de IBM en Viena (Austria), que puede utilizarse para declarar definiciones algebraicas de lenguajes de… … Wikipedia Español
Vienna Circle — The Vienna Circle (in German: der Wiener Kreis) was a group of philosophers who gathered around Moritz Schlick when he was called to the Vienna University in 1922, organized in a philosophical association named Verein Ernst Mach (Ernst Mach… … Wikipedia
Vienna School of Art History — The Vienna School of Art History ( Wiener Schule der Kunstgeschichte ) is a collective term used to describe the development of fundamental art historical methods at the University of Vienna. It does not describe a dogmatically unified group, but … Wikipedia
Scientific method — … Wikipedia
The Water-Method Man — Infobox Book | name = The Water Method Man title orig = translator = image caption = First edition cover author = John Irving illustrator = cover artist = country = United States language = English series = subject = genre = Novel publisher =… … Wikipedia
University of Vienna — University of Vienna † Catholic Encyclopedia ► University of Vienna Foundation of the University Next to the University of Prague that of Vienna is the oldest university of the former Holy Roman Empire. It was founded on 12 March … Catholic encyclopedia
