Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
A contract-based method to specify stimulus-response requirements
Alexandr Naumchev
,
Manuel Mazzara
,
Bertrand Meyer
,
Jean-Michel Bruel
,
Florian Galinier
,
Sophie Ebersold-Marcaillou
January 2017
PDF
Cite
"Landing Gear System"
"Eiffel"
"Auto-Proof"
"Design by Contract"
"seamless requirements"
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.
Sophie Ebersold-Marcaillou
Associate Professor of Software Engineering
Related
AutoReq: expressing and verifying requirements for control systems
AutoReq: expressing and verifying requirements for control systems
Seamless Object-Oriented Requirements
The Role of Formalism in System Requirements
Towards an Anatomy of Software Requirements
Cite
×