Index

 
Abbildung (= Map)16 		Abstrakte Syntax13, 41

Abstrakter Datentyp6 		Abstraktion 5, 101, 105, 122

ADT-Implementations-Modul28, 32, 179, 180

ADT6		Argument-Domain (Map)16, 83

Argumentwert (Map)16, 83		Attribut47 
 [2ex]
Bag (Datentyp)129		Bedeutung (Semantik)10

Beispiel: Coarsest Partitioning64 		Beispiel: Binärbaum
109

Beispiel: Heap-Speicherverwaltung99		Beispiel: Pascal-Dreieck80

Beispiel: Stücklistenverwaltung95, 129		Binärbaum
109, 124

Bool (Datentyp)43, 53
 [2ex]
C-Compiler, Aufruf35		C-Compiler34

Call by Reference15		Char (Datentyp)43, 52

Co-Domain (Map)16, 83\>,,Coarsest Partitioning``64

Codier-Phase31
 [2ex]
DSL25, 27, 41, 143		Datei-System123

Datenabstraktion6		Datenelemente7, 9

Datenorganisationsformen125		Datentyp-Invariante14, 24, 96

Design-Phase29		Domain-Gleichung13, 24, 27, 29, 41

Domain13

Dynamische Datenstrukturen8, 25, 39, 48
 [2ex]
Elementarer Datentyp7, 51		Elementary (Datentyp)47, 142

Enrichment27, 44		Enrichment-Datei33, 179, 180
 [2ex]
FH-Installation13, 16, 47		Formale Sprache9

freelist (Speicherallokation)167		Funktional23, 60

 [2ex]
Geheimnisprinzip6		Generischer Operationsname26, 44
 [2ex]
Header-Datei28, 32, 179, 180		Heap-Speicherverwaltung56,
99

Hilfesystem44, 139
 [2ex]
Implementation6, 10, 25, 44, 167		Implementation array
69, 76

Implementation bool54		Implementation dir85,
92

Implementation elemonil103		Implementation heap
85, 87

Implementation heapmap86		Implementation linklist
58, 69, 85

Implementation ptr56		Implementation ptelem102

Implementation ptstruct107		Implementation ptunion
115

Implementation scalar53		Implementation scaldom
85

Implementation struct107		Implementation union
115

Implementation unsigned52, 53		Implementationsparameter
45

Implizite Spezifikation10, 19		Implizites Löschen50

Intg (Datentyp)43, 53
 [2ex]
Klasse (von Objekten)13		Kombinator (Operation)47

Komponentenname42		Konkretisierung10

Konstruktive Spezifikation10, 19		Konstruktor (Operation)15,
47

Korrektheitsbeweis2, 9
 [2ex]
Liste (= Tuple)16
 [2ex]
make36		make, Aufruf38

Make-Datei36		malloc (Speicherallokation)167

Map-Wert16, 83		Map (Datentyp)16, 25, 42, 47, 83,
142

Menge (= Set)16		META-IV2, 29

Modellorientierter Ansatz8, 13, 16		Modellspezifikation13,
27

Modularisierung5
 [2ex]
Namenserweiterung27, 45		Nat0 (Datentyp)43, 53

Nat1 (Datentyp)43, 53		nil17, 43, 101

NULL-Pointer101
 [2ex]
Objekt-Modul35, 37		Operationale Abstraktion10, 15

Operationen (VDM-Basistypen)7, 10, 14, 25, 41, 44

Optional (Datentyp)17, 25, 43, 47, 101, 142
 [2ex]
Pascal-Dreieck80		Performance18, 26, 101, 167

Post-Kondition10		postcondition10, 19

Prä-Kondition10		Prädikat17, 19, 22, 47

precondition10		 Produktion (make)36

Programmentwicklung1, 29
 [2ex]
Quellcode-Bibliothek26		Quellmodul26, 35
 [2ex]
Rekursion102, 107, 122		Rekursion, Implementation von125

Repräsentationale Abstraktion9, 15
 [2ex]
Schrittweise Verfeinerung5, 29		Selektorname (Trees)42

Semantik10, 19		Semantische Funktionen14, 18, 27, 29

Set (Datentyp)16, 25, 42, 47, 57,
142		Speicherallokationsstrategie25, 167

Speicherverwaltung8, 25, 28		Spezifikation7

Stücklistenverwaltung95, 129		String54, 69

Strukturierter Datentyp7		Str (Datentyp: VDM-String)43, 54,
75

Switch-Funktion (Union)118		Syntaktische Struktur13

Syntax10
 [2ex]
Token (Datentyp)43, 55, 99		Tree (Datentyp)16, 25, 42, 47,
104, 142

Tuple (Datentyp)16, 25, 42, 47, 67, 142		Typgenerator
7, 8, 42
 [2ex]
Union (Datentyp)16, 25, 43, 47, 91, 113, 142
 [2ex]
Variante (= Union)16		VDM, Historie2

VDM, Vorteile38		VDM-Basistypen16, 25

VDM-Bibliothek26, 32, 139		VDM-Compiler32, 41

VDM-Compiler, Aufruf34, 179		VDM-Compiler, Fehlermeldungen
180

VDM-Compiler, Optionen33, 179		VDM-Europe2

VDM-String (Datentyp)54, 69, 76		vdminfo28, 44, 
139

Verbund (= Tree)16		Verkettete Liste122, 139
 [2ex]
Wiederverwendbarkeit3, 14, 125		Wohlgeformtheit14, 17

VDM Tutor Abbildungsverzeichnis