Thèse

Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

Informations générales

Auteurs
Superviseur(s)/conseiller
  • Vanhoof, Wim, Promoteur
  • Ponsard, Christophe, Jury, Personne externe
  • Heymans, Patrick, Jury
  • Boucher, Quentin, Jury
Date de réussite2010

Thèse de l'étudiant: Master typesMaster en informatique