Vdmj Een ontwikkelingsapplicatie met ondersteuning voor VDM-SL, VDM ++ en VDM-RT.
Download nu

Vdmj Rangschikking & Samenvatting

Vdmj Tags

genereren Dynamics SL parser parese VDM Code Parser bewijs verplichting generator Broncodetype Checker rt

Vdmj Beschrijving

VDMJ is handig, eenvoudig te gebruiken tool speciaal ontworpen om een basistool te bieden die VDM-SL, VDM ++ en VDM-RT-specificatietalen, in Java ondersteunt. Het omvat een parser, een typecontroleur, een tolk, een debugger en een proofverplichting-generator. Het wordt gebruikt door het Eclipse-project Outture. Belangrijkste kenmerken: PARSE, TYPE CONTROLEER, VOER EN Debug VDM Specificaties proof-verplichtingen genereren Genereer gedetailleerde code-dekking voor tests Voer combinatorische tests uit Ondersteuning voor alle drie de VDM-dialecten Ondersteuning voor internationale tekensets in specificaties Ondersteuning voor externe bibliotheken en afstandsbediening

Vdmj Gerelateerde software