1 citations · 1 across the 1 of their papers we have counts for
3 papers
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…