Sign in
Model-based requirements verification method: Conclusions from two controlled experiments.
Daniel Aceituna
Gursimran S. Walia
Hyunsook Do
Seok-Won Lee
Published in:
Inf. Softw. Technol. (2014)
Keyphrases
</>
verification method
model checking
temporal logic
information retrieval
learning algorithm
image processing
high level
relational databases
requirements engineering
real time
case study
database systems
user requirements
functional requirements