Programmes par guml.sf.net

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