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

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

Keywords

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

Cite this