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 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.

PropertyValue
dbpprop:abstract
  • 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 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.
  • 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 anzugeben. Sie stellt eine Metasprache dar und wurde unter anderem verwendet, um die Programmiersprache PL/I zu definieren. Aus der Sprache heraus wurde auch eine Methodologie, Vienna Development Method, entwickelt, die es erleichtert, Korrektheitsbeweise über Computerprogramme zu formulieren und zu führen. Sie verwendet eine mathematische Notation, um Spezifikationen von Funktionen präzise auszudrucken. Die Verwendung von solchen Metasprachen und Beweisen wird sich in der Regel nur für sicherheits-kritische Systeme (z. B. Eisenbahnübergänge, Kernkraftwerke und andere Echtzeit-Anwendungen) rentieren, da die Beweise sehr aufwendig und damit teuer sind.
  • 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 . Peter Gorm Larsen, professeur à l'université de Aarhus 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, à 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.
  • VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。 その仕様記述言語VDM-SLは1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
  • Ві́денський ме́тод розро́бки (англ. Vienna Development Method, VDM) — оснований на формальних методах підхід до розробки інформаційних систем, який використовує VDM-SL в якості мови для написання специфікацій із застосуванням додаткових інструментів. Існує, також, об'єктно-орієнтоване розширення VDM++.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • 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 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.
  • 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 anzugeben. Sie stellt eine Metasprache dar und wurde unter anderem verwendet, um die Programmiersprache PL/I zu definieren.
  • 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 .
  • VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。 その仕様記述言語VDM-SLは1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
  • Ві́денський ме́тод розро́бки (англ. Vienna Development Method, VDM) — оснований на формальних методах підхід до розробки інформаційних систем, який використовує VDM-SL в якості мови для написання специфікацій із застосуванням додаткових інструментів.
rdfs:label
  • Vienna Development Method
  • Vienna Definition Language
  • Vienna Development Method
  • VDM
  • Віденський метод розробки
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of