Thesis
- 2 results
Search results
-
Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of Sciences
File -
Building a bridge between goal-oriented requirements with KAOS and event-B system specifications
Author: Devroey, X., 2010Supervisor: Vanhoof, W. (Supervisor), Ponsard, C. (External person) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)
Student thesis: Master types › Master in Computer science
File