Projektmanagement und -planung
Analyse der VDM Klassenbibliotek
Datenbankmanager
Der Bibliotheksmanager vdmdbm und der Bibliotheksbrowser vdmhelp arbeiten kooperativ mit dem Datenbankmanager dbm zusammen. Bei beiden handelt es sich um ein TK-Skript, das mit der TK-Shell wish ausgeführt wird und eine graphische Oberfläche darbietet. Sie öffnen den Datenbankmanager als Filter und richten lassen alle Operationen, welche die Datenbnk betreffen, von diesem bearbeiten.
Der Bibliotheksmanager vdmdbm wird zur Pflege der Klassenbibliothek eingesetzt. Er erlaubt die Erweiterung und Reduzierung um ADTs, deren Implementationen, Operationen als auch Komponenten. Letztere können mit Hilfe eines externen Editors verändert werden, so daß die Pflege der gesamten Klassenbibliothek durch den Bibliothekbrowser möglich ist.
Der Datenbankmanager dbm wird über gleiche Kommunikationsmethode vom Bibliotheksbrowser vdmhelp für den Zugriff auf die Datenbank benutzt. Der Browser ist jedoch auf die Dokumentation, die in der Klassenbibliothek hinterlegt ist, spezialisiert. Er erlaubt die Anzeige der Beschreibungen zu ADTs, Implementationen und Operationen, die der Datenbankmanager auf Anfrage des Browsers erzeugt und liefert.