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

Research output: External Thesis › Master's Thesis

179 Downloads (Pure)

1 results
- Title(descending)
- Award date

Building a bridge between goal-oriented requirements with KAOS and event-B system specifications
Devroey, X. (Author)Vanhoof, W. (Supervisor), Ponsard, C. (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury), 2010
Student thesis: Master types › Master in Computer science

File