Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"software"
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-Marcaillou
,
Florian Galinier
,
Manuel Mazzara
,
Alexandr Naumchev
,
Bertrand Meyer
PDF
Cite
DOI
Cite
×