Login / Signup
Formal Requirements Elicitation with FRET.
Dimitra Giannakopoulou
Thomas Pressburger
Anastasia Mavridou
Julian Rhein
Johann Schumann
Nija Shi
Published in:
REFSQ Workshops (2020)
Keyphrases
</>
requirements elicitation
software engineering
requirements engineering
development process
formal model
requirements analysis
formal specification
neural network
databases
real world
web services
database systems
user interface
software development
formal methods
mathematical theory