The Role of Formalism in System Requirements

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer 0001. The Role of Formalism in System Requirements. ACM Computing Surveys, 54(5), 2021. [doi]

Authors

Jean-Michel Bruel

This author has not been identified. Look up 'Jean-Michel Bruel' in Google

Sophie Ebersold

This author has not been identified. Look up 'Sophie Ebersold' in Google

Florian Galinier

This author has not been identified. Look up 'Florian Galinier' in Google

Manuel Mazzara

This author has not been identified. It may be one of the following persons: Look up 'Manuel Mazzara' in Google

Alexandr Naumchev

This author has not been identified. Look up 'Alexandr Naumchev' in Google

Bertrand Meyer 0001

This author has not been identified. Look up 'Bertrand Meyer 0001' in Google