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

