Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications

Résultats de recherche: Thèse externeMémoire de master

125 Téléchargements (Pure)

Thèses de l'étudiant

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

Author: Devroey, X., 2010

Superviseur: Vanhoof, W. (Promoteur), Ponsard, C. (Personne externe) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)

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

Fichier