. . . . . . . . . . "VDM"@ja . . "109350027"^^ . . . . . . "1590647"^^ . "La Vienna Development Method, abr\u00E9g\u00E9 par le sigle VDM, est un ensemble d'outils de d\u00E9veloppement informatique faisant appel \u00E0 un grand formalisme. Une variante de la m\u00E9thode VDM se nomme VDM++. Elle a \u00E9t\u00E9 appliqu\u00E9e \u00E0 divers domaines o\u00F9 la fiabilit\u00E9 et la s\u00E9curit\u00E9 des applications informatiques devaient \u00EAtre optimis\u00E9es. Il s'agit principalement de l'a\u00E9ronautique, le domaine spatial, les transports (exemple: trains automatiques, optimisation de la charge des navires). Peter Gorm Larsen, professeur \u00E0 l'universit\u00E9 d\u2019Aarhus (Danemark) a publi\u00E9 plusieurs ouvrages et communications scientifiques relatives \u00E0 ces applications. Plusieurs de ces exp\u00E9riences ont \u00E9t\u00E9 cofinanc\u00E9es par la Commission des Communaut\u00E9s Europ\u00E9ennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en ligne sur des sites h\u00E9berg\u00E9s par la Commission des Communaut\u00E9s Europ\u00E9ennes. Il a consist\u00E9, entre autres, \u00E0 appliquer les fondements de VDM++ \u00E0 des exp\u00E9rimentations au CERN (Gen\u00E8ve), \u00E0 l'\u00E9vitement des tours par les avions (Centre technique de la navigation a\u00E9rienne de Toulouse), \u00E0 l'optimisation des charges de navires en Gr\u00E8ce. \n* Portail de l\u2019informatique"@fr . "Vienna Development Method"@es . "Vienna Development Method"@en . "1394"^^ . . "Vienna Development Method"@fr . . "La Vienna Development Method, abr\u00E9g\u00E9 par le sigle VDM, est un ensemble d'outils de d\u00E9veloppement informatique faisant appel \u00E0 un grand formalisme. Une variante de la m\u00E9thode VDM se nomme VDM++. Elle a \u00E9t\u00E9 appliqu\u00E9e \u00E0 divers domaines o\u00F9 la fiabilit\u00E9 et la s\u00E9curit\u00E9 des applications informatiques devaient \u00EAtre optimis\u00E9es. Il s'agit principalement de l'a\u00E9ronautique, le domaine spatial, les transports (exemple: trains automatiques, optimisation de la charge des navires). Peter Gorm Larsen, professeur \u00E0 l'universit\u00E9 d\u2019Aarhus (Danemark) a publi\u00E9 plusieurs ouvrages et communications scientifiques relatives \u00E0 ces applications. Plusieurs de ces exp\u00E9riences ont \u00E9t\u00E9 cofinanc\u00E9es par la Commission des Communaut\u00E9s Europ\u00E9ennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en lign"@fr . . . . . . . . .