7

Behavioural model-based testing of software product lines

SPL engineering is a sub-discipline of software engineering based on the idea that products of the same family can be built by systematically reusing assets, some of them being …

xdevroey

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

This master thesis presents techniques for connecting requirements models expressed in a goal-oriented requirements engineering (GORE) paradigm into more operational specifications …

xdevroey