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

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

141 Downloads (Pure)

Original language	English
Title of host publication	INFORSID
Subtitle of host publication	Actes du XXIXème Congrès INFORSID
Pages	317-332
Number of pages	16
Publication status	Published - 2011

Keywords

@inproceedings{f71f470743e54242aba2b0f28b43846c,

title = "Generating High-Level Event-B System Models from KAOS Requirements Models",

keywords = " Rodin, Model-Driven Engineering, Requirements Engineering, KAOS, Event-B, Objectiver",

author = "Christophe Ponsard and Xavier Devroey",

year = "2011",

language = "English",

pages = "317--332",

booktitle = "INFORSID",

}