Vienna Development Method
- 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é appliquée à divers domaines où la fiabilité et la sécurité des applications informatiques devaient être optimisées. Il s'agit principalement de l'aéronautique, le domaine spatial, les transports (exemple: trains automatiques, optimisation de la charge des navires). Peter Gorm Larsen, professeur à l'université de Aarhus (Danemark) a publié plusieurs ouvrages et communications scientifiques relatives à ces applications. Plusieurs de ces expériences ont été co-financées par la Commission des Communautés Européennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en ligne sur des sites hébergés par la Commission des Communautés Européennes. Il a consisté, entre autres, à appliquer les fondements de VDM++ à des expérimentations au CERN (Genève), à l'évitement des tours par les avions (Centre technique de la navigation aérienne de Toulouse), à l'optimisation des charges de navires en Grèce.
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Vienna Development Method de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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 — 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… … Wikipedia Español
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
