Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Intégration des (multi-)exigences tout au long du développement des systèmes complexes
Florian Galinier
,
Jean-Michel Bruel
,
Sophie Ebersold-Marcaillou
,
Bertrand Meyer
June 2017
PDF
Cite
Type
Conference paper
Publication
16emes Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2017)
"Développement de systèmes complexes"
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.
Sophie Ebersold-Marcaillou
Associate Professor of Software Engineering
Related
The Role of Formalism in System Requirements
Towards an Anatomy of Software Requirements
AutoReq: expressing and verifying requirements for control systems
A contract-based method to specify stimulus-response requirements
AutoReq: expressing and verifying requirements for control systems
Cite
×