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

Christophe Ponsard, Xavier Devroey

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

98 Downloads (Pure)
Original languageEnglish
Title of host publicationINFORSID
Subtitle of host publicationActes du XXIXème Congrès INFORSID
Number of pages16
Publication statusPublished - 2011


  • Rodin
  • Model-Driven Engineering
  • Requirements Engineering
  • KAOS
  • Event-B
  • Objectiver
  • Model-driven engineering

    Cleve, A.


    Project: Research Axis

Cite this