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