Mise en place d’un outil permettant de dériver la spécification formelle Event-B du modèle de buts KAOS
Inclusion de la phase d’analyse des besoins dans le développement logiciel associé aux méthodes formelles en dérivant la spécification abstraite, formelle Event-B du modèle de buts KAOS.
Implémentation d’un outil sur Topcased en utilisant ATL comme langage de transformation de modèles.
Ce sujet est situé dans le cadre de projet ANR TACOS.