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
Jean-Michel Bruel
Professor of Software Engineering

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

Sophie Ebersold-Marcaillou
Sophie Ebersold-Marcaillou
Associate Professor of Software Engineering

Related