Requirements Engineering

Generating High-Level Event-B System Models from KAOS Requirements Models

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