Aufbau dieses Handbuches Hinweise für die Leserschaft Hinweise für die Leserschaft

Wer soll dieses Handbuch lesen ?

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 Vorkenntnisse 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.