49 citations · 70 across the 13 of their papers we have counts for
5 papers · 1 filter
Towards operational natural language
Alexandr Naumchev
The multiplicity of software projects' stakeholders and activities leads to the multiplicity of software specification views and thus creates the need to establish mutual consisten…
Teaching Programming and Design-by-Contract
Daniel de Carvalho, Rasheed Hussain, Adil Khan +7
This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation.…
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…