VDM - eine kurze Hinweise für die Leserschaft Wer soll dieses Handbuch

Aufbau dieses Handbuches

Das Handbuch soll die Einarbeitung in die Programmierung mit VDM ermöglichen, aber auch der erfahrenen Anwenderin noch nutzbringend sein. Dazu ist zunächst ein umfangreicher, ausführlicher Einarbeitung Einarbeitungsteil vorhanden, den Sie zum Kennenlernen von VDM möglichst von vorn nach hinten durchlesen sollten. Im einzelnen werden folgende Aspekte behandelt (in den entsprechenden Kapiteln):

1. Hinweise für die Leserschaft und kurze Historie von VDM
2. Das hinter VDM stehende Konzept der abstrakten Datentypen
3. Die Programmentwicklung mit VDM
4. Die Spezifikation von abstrakten Datentypen mit der Domain Specification Language, abgekürzt DSL
5. Die VDM-Basistypen und ihre Anwendung in C
6. Rekursive Typdefinition
7. Ein größeres Anwendungsbeispiel
8. Die Anwendung des VDM-Hilfesystems vdminfo

Der Anhang stellt eine Referenz Referenz dar, also eine kurze, vollständige Zusammenfassung bestimmter Themen von VDM: Eine Definition der DSL-Syntax, eine Gesamtübersicht über die abstrakten Datentypen und ihre Operationen und eine Beschreibung der verfügbaren Implementationen. Ein Verzeichnis der Abbildungen folgt. Ein Glossar erklärt an zentraler Stelle die wichtigen Begriffe, für die eiligen Leserinnen ist ein umfassender Index vorhanden.