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

Research output: External Thesis › Master's Thesis

162 Downloads (Pure)

1 results
- Title
- Award date(ascending)

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

File