Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
"Formal"
The Role of Formalism in System Requirements
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and …
Jean-Michel Bruel
,
Sophie Ebersold
,
Florian Galinier
,
Manuel Mazzara
,
Alexandr Naumchev
,
Bertrand Meyer
PDF
Cite
DOI
Cite
×