Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
1
Traçabilité by design : conception d'un système interactif pour améliorer la génération automatique de traces Git pendant une activité d'apprentissage
Mika Pons
,
Jean-Michel Bruel
,
Jean-Baptiste Raclet
,
Franck Silvestre
PDF
Cite
Modelling and Verification of Natural Language Requirements based on States and Modes
Yinling Liu
,
Jean-Michel Bruel
PDF
Cite
DOI
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
»
Cite
×