Modelling and Verification of Natural Language Requirements based on States and Modes

Yinling Liu, Jean-Michel Bruel
August 2022
PDF Cite DOI
Type
Conference paper
Publication
30th International Requirements Engineering Conference Workshops (REW 2022)
"States and Modes Requirements Modeling and Verification Domain Specific Language Model checking ; States and Modes ; Requirements Modeling and Verification ; Domain Specific Language ; Model checking"
Jean-Michel Bruel
Jean-Michel Bruel
Professor of Software Engineering

My research interests include Model-Based Systems Engineering and Requirements Engineering.

Related