Accéder directement au contenu

Jean-Michel Bruel

12
Documents

Présentation

Publications

sophie-ebersold
Image document

RQCODE – Towards Object-Oriented Requirements in the Software Security Domain

Ildar Nigmatullin , Andrey Sadovykh , Nan Messe , Sophie Ebersold , Jean-Michel Bruel
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩
Communication dans un congrès hal-03781938v1

Towards an Anatomy of Software Requirements

Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev
51st International Conference on Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.10-40, ⟨10.1007/978-3-030-29852-4_2⟩
Communication dans un congrès hal-04182587v1
Image document

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

Florian Galinier , Sophie Ebersold , Jean-Michel Bruel
Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France
Communication dans un congrès hal-01815467v1
Image document

Seamless Integration of Multirequirements in Complex Systems

Florian Galinier , Jean-Michel Bruel , Sophie Ebersold , Bertrand Meyer
25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Communication dans un congrès hal-03656674v1
Image document

Intégration des (multi-)exigences tout au long du développement des systèmes complexes

Florian Galinier , Jean-Michel Bruel , Sophie Ebersold , Bertrand Meyer
16emes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63
Communication dans un congrès hal-02864409v1

Security Requirements Formalization with RQCODE in

Andrey Sadovykh , Nan Messe , Ildar Nigmatullin , Sophie Ebersold , Maria Naumcheva
Andrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, In press, 978-3-031-42211-9
Chapitre d'ouvrage hal-04324243v1