E-Chaser

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti

Circa E-Chaser

E-Chaser è un sistema di verifica in fase di esecuzione per applicazioni Java-RMI distribuite RMI. Nel suo frontend, E-Chaser fornisce specifiche trasparenti per la distribuzione e utilizza Compose* come strumento di back-end per generare moduli di verifica in fase di esecuzione.