G-UML

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes

Sur G-UML

Langage de programmation et outils permettant : génération de code facile pour Java, C#, C++,..; vérifier la justesse du code et les propriétés formelles. L’objectif est de permettre une réutilisation maximale des composants (sans dépendance de la langue), ainsi que de prouver leur justesse.