Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
1
RQCODE - Towards Object-Oriented Requirements in the Software Security Domain
Ildar Nigmatullin
,
Andrey Sadovykh
,
Nan Messe
,
Sophie Ebersold
,
Jean-Michel Bruel
PDF
Cite
DOI
Examining Requirements Documentation through the Focused Conversation Method
Hamna Aslam
,
Alexandr Naumchev
,
Jean-Michel Bruel
,
Joseph Alexander Brown
PDF
Cite
Modeling and verification method for an early evaluation of Systems of Systems interactions
This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps …
Ronan Baduel
,
Iulian Ober
,
Jean-Michel Bruel
PDF
Cite
DOI
Modeling and verification method for an early evaluation of systems of systems interactions
Ronan Baduel
,
Iulian Ober
,
Jean-Michel Bruel
PDF
Cite
DOI
Papyrus for Gamers, Let's Play Modeling
Gamification refers to the exploitation of gaming mechanisms for serious purposes, like learning hard-to-train skills such as …
Antonio Bucchiarone
,
Maxime Savary-Leblanc
,
Xavier Le Pallec
,
Jean-Michel Bruel
,
Antonio Cicchetti
,
Jordi Cabot
,
Sébastien Gérard
,
Hamna Aslam
,
Annapaola Marconi
,
Mirko Perillo
PDF
Cite
DOI
Automated user-oriented description of emerging composite ambient applications
Ambient environments consist of components surrounding the user and offering services. Applications can here be composed …
Maroun Koussaifi
,
Sylvie Trouilhet
,
Jean-Paul Arcangeli
,
Jean-Michel Bruel
PDF
Cite
Reflections on Teaching Formal Methods for Software Development in Higher Education
Mansur Khazeev
,
Hamna Aslam
,
Daniel de Carvalho
,
Manuel Mazzara
,
Jean-Michel Bruel
,
Joseph Alexander Brown
PDF
Cite
DOI
Towards an Anatomy of Software Requirements
Bertrand Meyer
,
Jean-Michel Bruel
,
Sophie Ebersold-Marcaillou
,
Florian Galinier
,
Alexandr Naumchev
PDF
Cite
DOI
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called …
Hugo Bruneliere
,
Romina Eramo
,
Abel Gomez
,
Valentin Besnard
,
Jean-Michel Bruel
,
Martin Gogolla
,
Andreas Kästner
,
Adrian Rutle
PDF
Emergence of Composite Services in Smart Environments
In this poster we summarize our innovative approach called
opportunistic composition
: using a bottom-up approach, composite services …
Maroun Koussaifi
,
Walid Younes
,
Françoise Adreit
,
Jean-Paul Arcangeli
,
Jean-Michel Bruel
,
Sylvie Trouilhet
PDF
»
Cite
×