Wir arbeiten daran, die Unionpedia-App im Google Play Store wiederherzustellen
AusgehendeEingehende
🌟Wir haben unser Design für eine bessere Navigation vereinfacht!
Instagram Facebook X LinkedIn
Ihre eigene Unionpedia mit Ihrem Logo und Ihrer Domain, ab 9,99 USD/Monat
Mein Unionpedia erstellen

Vienna Development Method

Index Vienna Development Method

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.

Inhaltsverzeichnis

  1. 4 Beziehungen: Dietz-Computer-Systeme, Formale Spezifikation, VDM, Vienna Definition Language.

Dietz-Computer-Systeme

Firmenlogo Dietz Computer Systeme in Mülheim an der Ruhr entwickelte, fertigte und vertrieb bis in die 1980er Jahre Computer und computergestützte Systeme für die Prozessdaten-Verarbeitung, für technisch-wissenschaftliche Zwecke, für kommerziell-administrative Anwendungen (mittlere Datentechnik) sowie für die mechanische Konstruktion.

Sehen Vienna Development Method und Dietz-Computer-Systeme

Formale Spezifikation

Eine formale Spezifikation ist die Beschreibung eines Computerprogramms mittels einer Notation, deren Semantik eindeutig definiert ist (einer sogenannten formalen Sprache).

Sehen Vienna Development Method und Formale Spezifikation

VDM

VDM steht für.

Sehen Vienna Development Method und VDM

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 Software mit einer Operationellen Semantik anzugeben.

Sehen Vienna Development Method und Vienna Definition Language