Aufbau dieses Handbuches
Hinweise für die Leserschaft
Hinweise für die Leserschaft
Da VDM die Programmentwicklung insbesondere in den
Phasen Detailentwurf, Codierung, Test und Wartung unterstützt, ist das
Erlernen des Umgangs mit dem System eigentlich für alle interessant, die
programmieren, also Software-Entwicklerinnen oder
Erstellung von Programmen in der Sprache C unterstützt; es bildet die
Basis dieses Handbuches. Da es keine Tools zur Verarbeitung der formalen
Sprache von VDM (META-IV) bereitstellt, liegt der Schwerpunkt dieses
Handbuchs auf dem Einsatz der abstrakten Datentypen von VDM bei der Erstellung
von Applikationen. Aus der der Struktur dieses VDM-Systems
leiten sich einige Vorkenntnisse ab,
die Sie als Leserin dieses Handbuches haben sollten:
- Sie müssen die Programmiersprache C beherrschen, da VDM Module
bereitstellt, die für die Verwendung in C-Programmen konzipiert sind.
- Sie sollten das Konzept der Modularisierung von Programmen erfaßt haben.
- Sie sollten mit der grundsätzlichen Funktionsweise von
Modul-Bibliotheken vertraut sein und ihren Vorteile kennen.
- Die Arbeit unter dem Betriebssystem UNIX sollte Ihnen geläufig
sein. Das betrifft Login, Bedienung der Shell, Editierung von Programmtexten,
Aufruf des Compilers und die Verwaltung größerer Programmprojekte mit MAKE.
- Kenntnisse über den Compilerbau erleichtern das Verständnis der internen
System-Abläufe und werden auch für einige Beispiele vorausgesetzt; sie sind
aber nicht unbedingt erforderlich.
VDM Class Library