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:



VDM Class Library