Programmi di guml.sf.net

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 riutilizzabi