Login / Signup
The Role of Formalism in System Requirements.
Jean-Michel Bruel
Sophie Ebersold
Florian Galinier
Manuel Mazzara
Alexandr Naumchev
Bertrand Meyer
Published in:
ACM Comput. Surv. (2021)
Keyphrases
</>
knowledge representation
high level
database systems
end users
representation language
database
real time systems
functional requirements
user requirements
application specific
first order logic
software systems
information technology
multiscale
information systems
neural network
real time