Votre navigateur est obsolète !

Pour une expériencenet et une sécurité optimale, mettez à jour votre navigateur. Mettre à jour maintenant

×

Mariem Graa

Ingénieur & docteur en Informatique

41 years old
Driving License
Paris (75015) France
Entrepreneur Available
  • 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.