71 citations · 448 across the 43 of their papers we have counts for
4 papers · 1 filter
Fourteen Years of Software Engineering at ETH Zurich
Bertrand Meyer
A Chair of Software Engineering existed at ETH Zurich, the Swiss Federal Insti-tute of Technology, from 1 October 2001 to 31 January 2016, under my leader-ship. Our work, summarize…
AutoReq: expressing and verifying requirements for control systems
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara +3
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect stakeholders' needs, and the implementation satisfie…
A contract-based method to specify stimulus-response requirements
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer +3
A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into impera…
Seamless Requirements
Alexandr Naumchev, Bertrand Meyer
Popular notations for functional requirements specifications frequently ignore developers' needs, target specific development models, or require translation of requirements into te…