VDMJ. Un'applicazione di sviluppo con supporto per VDM-SL, VDM ++ e VDM-RT.
Scarica ora

VDMJ. Classifica e riepilogo

VDMJ. Tag

creare Dynamics SL. parser analizzare VDM codice parser generatore di obblighi di prova Controllo del tipo di codice sorgente rt

VDMJ. Descrizione

VDMJ è uno strumento utile e facile da usare appositamente progettato per offrire uno strumento di base che supporta le lingue di specifica VDM-SL, VDM ++ e VDM-RT, scritte in Java. Comprende un parser, un tipo checker, un interprete, un debugger e un generatore di obbligo di prova. Viene utilizzato dall'overture Eclipse Project. Caratteristiche principali: Parse, digita Controllare, eseguire e debug specifiche VDM Genera obblighi a prova di prova Genera una copertura dettagliata del codice per i test Eseguire test combinatoriali Supporto per tutti e tre i dialetti VDM Supporto per set di caratteri internazionali in specifiche Supporto per librerie esterne e controllo remoto

VDMJ. Software correlato