G-UML

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

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