Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
RQCODE - Towards Object-Oriented Requirements in the Software Security Domain
Ildar Nigmatullin
,
Andrey Sadovykh
,
Nan Messe
,
Sophie Ebersold-Marcaillou
,
Jean-Michel Bruel
January 2022
PDF
Cite
DOI
Type
Conference paper
Publication
15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022
Nan Messe
Assistant Professor
Sophie Ebersold-Marcaillou
Associate Professor of Software Engineering
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.
Related
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
Towards an Anatomy of Software Requirements
AutoReq: expressing and verifying requirements for control systems
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
Modelling and Verification of Natural Language Requirements based on States and Modes