3 citations · 4 across the 5 of their papers we have counts for
6 papers
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev +3
A paradox of requirements specifications as dominantly practiced in the industry is that they often claim to be object-oriented (OO) but largely rely on procedural (non-OO) techniq…
The role of formalism in system requirements (full version)
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier +3
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natur…
Modeling and verification method for an early validation of a train system
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. A met…
The Anatomy of Requirements
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold +2
Requirements engineering is crucial to software development but lacks a precise definition of its fundamental concepts. Even the basic definitions in the literature and in industry…
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…