| dbo:abstract
|
- 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, . (de)
- 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 también es un término que se usa para indicar que alguien posee una voz de muerto. (es)
- 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é d’Aarhus (Danemark) a publié plusieurs ouvrages et communications scientifiques relatives à ces applications. Plusieurs de ces expériences ont été cofinancé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. (fr)
- 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 the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science. (en)
- VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。 その仕様記述言語は1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。 (ja)
- Ві́денський ме́тод розро́бки (англ. Vienna Development Method, VDM) — набір технологій для моделювання комп'ютерних систем, аналізу створених моделей і переходу до деталізованого проектування та програмування. Один з найстаріших формальних методів, вплинув на розвиток багатьох інших, як Z, , та B. За його спиною стоять інструменти промислової якості, та стандарт ISO. Метод з'явився в результаті роботи віденської лабораторії IBM в середині 70-тих. Нотація та допоміжні інструменти з того часу постійно розвивались, і сьогодні метод застосовується до широкого кола задач. Має розширення VDM++, для об'єктно-орієнтованих систем. (uk)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 40164 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- 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, . (de)
- 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 también es un término que se usa para indicar que alguien posee una voz de muerto. (es)
- VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。 その仕様記述言語は1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。 (ja)
- 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é d’Aarhus (Danemark) a publié plusieurs ouvrages et communications scientifiques relatives à ces applications. Plusieurs de ces expériences ont été cofinancées par la Commission des Communautés Européennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en lign (fr)
- 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 the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of c (en)
- Ві́денський ме́тод розро́бки (англ. Vienna Development Method, VDM) — набір технологій для моделювання комп'ютерних систем, аналізу створених моделей і переходу до деталізованого проектування та програмування. Один з найстаріших формальних методів, вплинув на розвиток багатьох інших, як Z, , та B. За його спиною стоять інструменти промислової якості, та стандарт ISO. Метод з'явився в результаті роботи віденської лабораторії IBM в середині 70-тих. Нотація та допоміжні інструменти з того часу постійно розвивались, і сьогодні метод застосовується до широкого кола задач. (uk)
|
| rdfs:label
|
- Vienna Development Method (de)
- Vienna Development Method (es)
- Vienna Development Method (fr)
- VDM (ja)
- Vienna Development Method (en)
- Віденський метод розробки (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
