[ Inhalt ] [ Index ] Beispielskelett Integration von VDM Anwendungsbeispielen Interaktiver Test der Beispiele

Vorhandene Beispiele

Der Autor dieser Arbeit hat bereits einige der zahlreichen Demonstrationsprogramme kommentiert, die als Muster für weitere dienen können. Diese sind

• Die Ursprungsdatei README.html im Hauptverzeichnis der Beispiele,
• das ,,Astar`` Beispiel,
• das ,,automem`` Beispiel,
• und ein Skelett, das als Vorlage für neue Beispiele verwendet werden kann

Die obigen Beispiele beinhalten gemeinsam alle Gestaltungsmöglichkeiten. ,,Astar`` zeichnet sich durch seine Vollständigkeit aus, ,,automem`` und README.html zeigen, wie auf Beispiele in über- oder untergeordneten Verzeichnissen verwiesen werden kann.