Generating High-Level Event-B System Models from KAOS Requirements Models
Model-driven engineering (MDE) generally starts from system design model. In this paper, we show how MDE can be extended to the requirements level expressed in requirements models …
christophe-ponsard