Inhaltsverzeichnis
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

