Vdmj. Eine Entwicklungsanwendung mit Unterstützung für VDM-SL, VDM ++ und VDM-RT.
Jetzt downloaden

Vdmj. Ranking & Zusammenfassung

Vdmj. Stichworte

generieren Dynamics SL. Parser Parse VDM Code-Parser Nachweispflichtgenerator Quellcode-Typ-Checker Rtum

Vdmj. Beschreibung

VDMJ ist ein praktisches, einfach zu bedienendes Tool, das speziell für ein grundlegendes Tool anbietet, das VDM-SL, VDM ++ und VDM-RT-Spezifikationssprachen unterstützt, in Java geschrieben. Es umfasst einen Parser, einen Typ-Checker, einen Dolmetscher, einen Debugger und einen Beweisverpflichtungsgenerator. Es wird vom Overture-Eclipse-Projekt verwendet. Haupteigenschaften: Parse, Typ Check, Execute und Debug VDM-Spezifikationen erzeugen Proof-Verpflichtungen Generieren Sie detaillierte Code-Abdeckung für Tests Kombinatorische Tests durchführen Unterstützung für alle drei VDM-Dialekte Unterstützung für internationale Zeichensätze in den Spezifikationen Unterstützung für externe Bibliotheken und Fernbedienung

Vdmj. Zugehörige Software