]> instance Cubicweb OWL Ontology Logilab a réalisé pour Areva un outil de test de logiciels critiques embarqués. Cet outil, écrit en Python, permet de définir des cas de tests puis de les valider sur un modèle exécutable généré à partir de spécifications graphiques.texte au format reStructuredTextCompany 1612