Inhalt
VDM Class Library
Programmierung mit abstrakten Datentypen
unter Verwendung von VDM
Jan Peter Mohr
Wirtschaftsinformatik
Inhalt
Hinweise für die Leserschaft
Wer soll dieses Handbuch lesen ?
Aufbau dieses Handbuches
VDM - eine kurze Historie
Abstrakte Datentypen
Abstraktion beim Programmieren
Was sind abstrakte Datentypen ?
Der modellorientierte Ansatz
Vienna Development Method
Struktur einer Modellspezifikation
Das VDM-System unter
UNIX
Programmentwicklung mit VDM
Vor- und Nachteile von VDM
Domain Specification Language (DSL)
Die Gesamtstruktur
Die Domain-Gleichungen
Die Implementationsbeschreibungen
Die VDM-Basistypen
Speicherverwaltung
Generelle Operationen
Elementare Datentypen
Sets
Tuples
Maps
Optionals
Trees
Unions
Rekursive Typdefinition
Verwaltung von variablen Datenmengen
Implementation rekursiver Strukturen
Beispiel: Syntaxdefinition von Programmiersprachen
Ein größeres Beispiel
Quantitative Stückliste - das Datenmodell
Die semantischen Funktionen
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