Glossar V

V-Operation: Gegenstück der " P-Operation eines Semaphors; aus dem holländischen "verlaat" = "verlassen" oder "vrijgeben" = "freigeben" (Muttersprache des Entwicklers Dijkstra) (r) 12.1.4

Variable þ : Referenz oder Ausprägung eines Basistyps (r) 2.6.1, 3.3.5, 7.2, 7.2.3, 7.4.1

variables Programm & : läuft in Abhängigkeit der Eingabedaten unterschiedlich ab; " konstantes Programm (r) 2.3, 6, 6.1.1

Vektor: Reihung mit arithmetischen oder anderen Operationen (r) 10.2.4

verbale Spezifikation & : ein für den Benutzer auf einer natürlichen Sprache geschriebenes Dokument; kann als Kommentar in die formale Spezifikation eingebettet werden (r) 2.2.14

Verbund ("record"): heterogen zusammengesetztes Objekt (oder Klasse) mit Komponenten von unterschiedlichen Typen; " Reihung. Die Selektion einer Komponente erfolgt mit einem Komponentennamen. þ : Klasse (r) 9.1

verdecken ("shadow"): überdecken (r) 2.2.7, 3.3.3, 4.1, 5.4.2

Vereinbarung, Deklaration (einer Methode): enthält ihr Profil, nicht unbedingt den Rumpf; " Definition (r) 1.5.4, 2.6.1, 2.6.2

Vergleichsoperation & : Operator (oder Methode) mit logischem Ergebnis und zwei Operanden (oder einem Parameter) desselben Basistyps (oder derselben Klasse) (r) 7.2.5

Vergleichsoperator þ : Ordnungsoperator oder Gleichheit (und Ungleichheit) (r) 7.4.3

Vereinigung, Union: Operation über zwei Mengen; die Ergebnismenge enthält alle Elemente, die in einer der beiden Mengen enthalten sind; entspricht der Disjunktion (r) 8.1

Vererbung (þ : extends): Vereinbarung einer Unterklasse mit Hilfe einer Oberklasse; die Komponenten der Oberklasse werden automatisch übernommen, außer denen, die überladen werden; realisiert die Klassifikation (r) 2.2.1, 4.4.1

verkettete Liste: eine Reihe von Objekten mit einer Referenzkomponente, die jeweils auf das nächste Glied verweist; vorwärts oder rückwärts verkettete Liste (r) 9.3.2, 9.3.6

veröffentlichte Spezifikation & : manchmal wird dem Benutzer nicht dieselbe Spezifikation bekannt gegeben, die der Compiler übersetzt; der Grund hierfür kann das Geheimnisprinzip oder eine wirtschaftliche Überlegung sein; " übersetzte Spezifikation (r) 3.2.1

Vertrag: der Aufrufer erfüllt die Vorbedingung, der Aufgerufene (Methode) erfüllt die Nachbedingung (r) 7.7

Verweis: Referenz (r) 2.6.1

Verzweigung (þ : if): eine Alternative; die Verzweigung besteht aus einem logischen Ausdruck und aus zwei Zweigen, von denen einer leer sein kann; Einweg- oder Zweiweg-Alternative " Fallunterscheidung (r) 3.3.7, 7.2.4, 10.1.1

vollständig ausgeglichener Baum: Baum mit (fast) gleicher Anzahl von Knoten an seinen Ästen; " AVL-Baum (r) 11.4.3

Vorbedingung: Zusicherung, die vor dem Aufruf einer Methode erfüllt werden soll; " Nachbedingung (r) 7.7

Vorbesetzungswert: der Wert, der einer Variable bei ihrer Vereinbarung zugewiesen wird (r) 6.3.2, 7.1.4

vorbeugende Ausnahmebehandlung & : eine mögliche Ausnahme wird vermieden, indem die Ausführbarkeit einer Methode durch die Abfrage eines Informators sichergestellt wird (r) 10.1.6

Vorrang, Priorität: Festlegung der Ausführungsreihenfolge von Operatoren, innerhalb eines Ausdrucks (r) 7.6.1

vorwärts verkettete Liste: die Knotenreferenzen zeigen zu den jüngeren Knoten; " rückwärts verkettete Liste(r) 9.3.5