Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
2
Special Issue on New Paradigms of Software Production and Deployment
Alfredo Capozucca
,
Jean-Michel Bruel
,
Manuel Mazzara
,
Bertrand Meyer
PDF
Cite
DOI
The Role of Formalism in System Requirements
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and …
Jean-Michel Bruel
,
Sophie Ebersold
,
Florian Galinier
,
Manuel Mazzara
,
Alexandr Naumchev
,
Bertrand Meyer
PDF
Cite
DOI
Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems
At the heart of cyber-physical and ambient systems, the user should permanently benefit from applications adapted to the situation and …
Sylvie Trouilhet
,
Jean-Paul Arcangeli
,
Jean-Michel Bruel
,
Maroun Koussaifi
PDF
Cite
DOI
A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems
Benoît Combemale
,
J. A. Kienzle
,
G. Mussbacher
,
H. Ali
,
D. Amyot
,
M. Bagherzadeh
,
E. Batot
,
N. Bencomo
,
B. Benni
,
Jean-Michel Bruel
,
J. Cabot
,
B. H. C. Cheng
,
P. Collet
,
G. Engels
,
R. Heinrich
,
J. Jezequel
,
A. Koziolek
,
S. Mosser
,
R. Reussner
,
H. Sahraoui
,
R. Saini
,
J. Sallou
,
S. Stinckwich
,
E. Syriani
,
M. Wimmer
Cite
DOI
Comparing and classifying model transformation reuse approaches across metamodels
Jean-Michel Bruel
,
Benoît Combemale
,
Esther Guerra
,
Jean-Marc Jézéquel
,
Jörg Kienzle
,
Juan de Lara
,
Gunter Mussbacher
,
Eugene Syriani
,
Hans Vangheluwe
PDF
Cite
DOI
Toward model-driven sustainability evaluation
Jörg Kienzle
,
Gunter Mussbacher
,
Benoît Combemale
,
Lucy Bastin
,
Nelly Bencomo
,
Jean-Michel Bruel
,
Christoph Becker
,
Stefanie Betz
,
Ruzanna Chitchyan
,
Betty H. C. Cheng
,
Sonja Klingert
,
Richard F. Paige
,
Birgit Penzenstadler
,
Norbert Seyff
,
Eugene Syriani
,
Colin C. Venters
PDF
Cite
DOI
AutoReq: expressing and verifying requirements for control systems
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …
Alexandr Naumchev
,
Bertrand Meyer
,
Manuel Mazzara
,
Florian Galinier
,
Jean-Michel Bruel
,
Sophie Ebersold-Marcaillou
PDF
Cite
On the Use of Models for High-Performance Scientific Computing Applications: an Experience Report
This paper reports on a four-year project that aims to raise the abstraction level through the use of model-driven engineering (MDE) …
Ileana Ober
,
Marc Palyart
,
Jean-Michel Bruel
,
David Lugato
PDF
Cite
A contract-based method to specify stimulus-response requirements
A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the …
Alexandr Naumchev
,
Manuel Mazzara
,
Bertrand Meyer
,
Jean-Michel Bruel
,
Florian Galinier
,
Sophie Ebersold
PDF
Cite
×