The Role of Formalism in System Requirements › Research Explorer

Novosibirsk State University's Research Portal

The Role of Formalism in System Requirements

Research output: Contribution to journal › Article › peer-review

Links

https://dl.acm.org/doi/10.1145/3448975

DOI

https://doi.org/10.1145/3448975
Final published version

Jean-Michel Bruel
Sophie Ebersold
Florian Galinier
Manuel Mazzara
Alexandr Naumchev
Bertrand Meyer

Original language	English
Article number	93
Pages (from-to)	1-36
Journal	ACM Computing Surveys
Volume	54
Issue number	5
DOIs	https://doi.org/10.1145/3448975
Publication status	Published - 30 Jun 2022
Externally published	Yes

Research areas

Formal, requirement, seamless, software, specification

OECD FOS+WOS

1.01 MATHEMATICS
1.02 COMPUTER AND INFORMATION SCIENCES

ID: 65524299