G-UML

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

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.

historique de la version

  • Version N/A posté sur 2011-08-09
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-08-09

Détails du programme