Hinweise für die Leserschaft
VDM Tutor
VDM Tutor
Inhalt
Hinweise für die Leserschaft
Wer soll dieses Handbuch lesen ?
Aufbau dieses Handbuches
VDM - eine kurze Historie
Abstrakte Datentypen
Abstraktion beim Programmieren
Anlaß der Abstraktion
Modularisierung
Datenabstraktion
,,Geheimnisprinzip``
Was sind abstrakte Datentypen ?
Definition
Vor- und Nachteile von ADT
Formale Methoden
Der modellorientierte Ansatz
Repräsentationale Abstraktion
Operationale Abstraktion
Konkretisierung
Vienna Development Method
Struktur einer Modellspezifikation
Terminologie
Die VDM-Spezifikation
Das VDM-System unter
UNIX
Die Basistypen in der VDM-Bibliothek
Die Domain Specification Language
Der VDM-Compiler
Informationen mit
vdminfo
Programmentwicklung mit VDM
Design-Phase - Detailentwurf
Die Codier-Phase
Übersetzung
Projektverwaltung mit
make
Vor- und Nachteile von VDM
Domain Specification Language (DSL)
Die Gesamtstruktur
Die Domain-Gleichungen
Die Implementationsbeschreibungen
Die VDM-Basistypen
Speicherverwaltung
Generelle Operationen
Elementare Datentypen
Die vordefinierten Zahlentypen
Der logische Datentyp
Bool
Der vordefinierte Datentyp
Str
Selbstdefinierte elementare Datentypen
Sets
Was ist ein Set ?
Set-Implementation
Set-Operationen
Beispiel: ,,Coarsest Partitioning``
Tuples
Was ist ein Tuple ?
Tuple-Implementationen
Tuple-Operationen
Beispiel: ,,Pascal-Dreieck``
Maps
Was ist eine Map ?
Map-Implementationen
Map-Operationen
Beispiel: Stücklistenverwaltung
Beispiel: Heap-Speicherverwaltung
Optionals
Was sind Optionals ?
Optional-Implementationen
Optional-Operationen
Trees
Was ist ein Tree ?
Tree-Implementationen
Tree-Operationen
Beispiel: Der Binärbaum
Unions
Was ist eine Union ?
Union-Implementationen
Union-Operationen
Rekursive Typdefinition
Verwaltung von variablen Datenmengen
Sequentielle Organisation
Rekursionskonzepte
Implementation rekursiver Strukturen
Beispiel: Syntaxdefinition von Programmiersprachen
Ein größeres Beispiel
Quantitative Stückliste - das Datenmodell
Die semantischen Funktionen
Laden und Speichern
Eingabe einer Teil-Beschreibung
Struktur-Stückliste
Das Steuerprogramm
Online-Hilfe mit
vdminfo
Die Struktur der VDM-Bibliothek
Der Aufruf von
vdminfo
DSL-Syntax
Die Operationen der ADT
Die Implementationen
Der VDM-Compiler
Abbildungsverzeichnis
VDM Class Library