The role of formalism in system requirements

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

ACM Comput. Surv. 54(5)
Association for Computing Machinery
New York, NY, USA
May 2021