Eiffel

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 …
PDF Cite