Erweiterung der Beispiele
Integration von VDM Anwendungsbeispielen
Vorhandene Beispiele
Das Beispielskelett ist im Verzeichnis ./Test/skel hinterlegt, und beinhaltet eine DSL-Datei, ein Makefile, ein zugehöriges C++ Programm als auch die README.html Datei zur Beschreibung des Skeletts. Die DSL des Beispiels trägt den Namen skel.vdm und lautet:
DOMAINS Num is-a Nat0 IMPLEMENTATIONS Num = + fpr FUNCTIONS plus: Num => Num
Die Funktion des Beispiels als auch das Hauptprogramm ist implementiert in der Datei skel.cc, und führt die Addition von 1 und 1 aus. Übersetzt wird das Beispiel mit einem mustergültigen Makefile, in der alle Definitionen und Ziele hinterlegt sind, zur Integration in das Gesamtkonzept definiert sein sollen. Die Datei README.html im Verzeichnis des Skeletts läßt nicht nur die Übersetzung zu, sondern erläutert auch alle Tags, die zur Dokumentierung der VDM-Beispiele zur Verfügung stehen.