VDM (informatique)
- VDM (informatique)
-
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.
Portail de l’informatique
Catégories : Développement logiciel | Méthode formelle
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article VDM (informatique) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
VDM — ● ►en sg. f. ● 1. ►WINDOWS Virtual Dos Machine. Machine virtuelle fonctionnant comme un PC sous DOS, à l intérieur d un autre système, en général un PC sous Windows NT (et Windows 95, mais ce dernier n est capable de lancer qu une seule et unique … Dictionnaire d'informatique francophone
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
Machine DOS virtuelle — Pour les articles homonymes, voir VDM. Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents… … Wikipédia en Français
DOS Virtuel — Machine DOS virtuelle Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents quand il y a un… … Wikipédia en Français
DOS Virtuelle — Machine DOS virtuelle Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents quand il y a un… … Wikipédia en Français
DOS virtuelle — Machine DOS virtuelle Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents quand il y a un… … Wikipédia en Français
Machine DOS Virtuel — Machine DOS virtuelle Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents quand il y a un… … Wikipédia en Français
Machine DOS Virtuelle — Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents quand il y a un autre système d… … Wikipédia en Français
Machine DOS virtuel — Machine DOS virtuelle Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents quand il y a un… … Wikipédia en Français
Machine Dos Virtuel — Machine DOS virtuelle Virtual DOS machine (Machine DOS virtuelle) (VDM) est le nom des technologies de Microsoft permettant d exécuter des programmes MS DOS sur les ordinateurs équipés de processeurs Intel 80386 ou plus récents quand il y a un… … Wikipédia en Français
