Votre recherche
1 résultats ont été trouvés pour la recherche de « clearsy ».
Afficher les résultats 1 à 1 de 1.
Projets financé
30/09/2014
– 48 mois
Pertinence :
100%
Sciences et technologies logicielles
Méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques – FORMOSE
Le projet Formose est un projet de recherche industrielle dont l'objectif est de produire une méthode formelle d'ingénierie des exigences (IE) orientée modèles pour des systèmes complexes critiques, supportée par un outil libre. C'est un projet de 48 mois auquel participent 2 partenaires académiques
