Formal Requirements
Last updated on
Oct 19, 2020
![](/project/innopolis/featured.png)
![Jean-Michel Bruel](/author/jean-michel-bruel/avatar_hu0721fb8efdb2bf7d695923e228f011e0_621877_270x270_fill_q90_lanczos_center.jpg)
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