Formal Requirements
Last updated on
Oct 19, 2020
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.
Related
- Chaire Industrielle
- AutoReq: expressing and verifying requirements for control systems
- How to handle environmental uncertainty in goal-based requirements engineering
- Towards a Requirements Engineering Approach for capturing Uncertainty in Cyber-Physical Systems Environment
- Requirements Specific Modeling Language : un langage formel d'expression d'exigences