Linguaggio di programmazione e strumenti che consentono: facile generazione di codice per Java,C#,C++,..; verificare la correttezza del codice e le proprietà formali. L'obiettivo è quello di consentire la massima riutilizzabilità dei componenti (senza dipendenza dal linguaggio), oltre a dimostrare la loro correttezza.
cronologia delle versioni
- Versione N/A pubblicato il 2011-08-09
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2011-08-09
Dettagli del programma
- Categoria: Sviluppo > Altro
- Editore: guml.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows