A contract-based method to specify stimulus-response requirements

January 2017
PDF Cite
Type
0
"Landing Gear System" "Eiffel" "Auto-Proof" "Design by Contract" "Seamless Requirements"