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

Christophe Ponsard; Xavier Devroey

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

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

141 Téléchargements (Pure)

langue originale	Anglais
titre	INFORSID
Sous-titre	Actes du XXIXème Congrès INFORSID
Pages	317-332
Nombre de pages	16
Etat de la publication	Publié - 2011

Accès au document

2011 33

Model-driven engineering
Cleve, A.
1/01/10 → 31/01/10
Projet: Axe de recherche

Contient cette citation

@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",

}

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

Accès au document

Projets

Model-driven engineering

Contient cette citation