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.
Master en sécurité des systèmes informatiques intitulée "Mise en place d’un outil permettant de dériver la spécification formelle Event-B du modèle de buts KAOS"