Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"Design by Contract"
Seamless Object-Oriented Requirements
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 …
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 …
PDF
Cite
DOI
A contract-based method to specify stimulus-response requirements
PDF
Cite
Cite
×