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: Formale Spezifikation, Objektorientierung, Vienna Definition Language, ZIP-Dateiformat.

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

Objektorientierung

Unter Objektorientierung (kurz OO) versteht man in der Entwicklung von Software eine Sichtweise auf komplexe Systeme, bei der ein System durch das Zusammenspiel kooperierender Objekte beschrieben wird.

Sehen Vienna Development Method und Objektorientierung

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

ZIP-Dateiformat

Das ZIP-Dateiformat (von ‚Reißverschluss‘) ist ein Format für verlustfrei komprimierte Dateien, das einerseits den Platzbedarf bei der Archivierung reduziert und andererseits als Containerdatei fungiert, in der mehrere zusammengehörige Dateien oder auch ganze Verzeichnisbäume zusammengefasst werden können.

Sehen Vienna Development Method und ZIP-Dateiformat