Annuncio pubblicitario
Hol-testgen.
HOL-TESTGEN è A è un generatore di casi di test per i test dell'unità basata sulle specifiche. ...
test Astuccio Generatore di prova generatore di test case Hol-testgen.
Hol-ocl.
HOL-OCL è un ambiente di prova interattiva per il linguaggio del vincolo degli oggetti (OCL). ...
Incorporamento superficiale incorporamento Logica di ordine superiore Ambiente di prova Hol-ocl.