Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"Landing Gear System"
AutoReq: expressing and verifying requirements for control systems
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …
Alexandr Naumchev
,
Bertrand Meyer
,
Manuel Mazzara
,
Florian Galinier
,
Jean-Michel Bruel
,
Sophie Ebersold-Marcaillou
PDF
Cite
AutoReq: expressing and verifying requirements for control systems
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect …
Alexandr Naumchev
,
Bertrand Meyer
,
Manuel Mazzara
,
Florian Galinier
,
Jean-Michel Bruel
,
Sophie Ebersold-Marcaillou
PDF
Cite
DOI
A contract-based method to specify stimulus-response requirements
Alexandr Naumchev
,
Manuel Mazzara
,
Bertrand Meyer
,
Jean-Michel Bruel
,
Florian Galinier
,
Sophie Ebersold-Marcaillou
PDF
Cite
Cite
×