Environment Model based Requirements Consistency Verification: An Example.

Qianqian Liu Xiaohong Chen Zhi Jin

Published in: RE Workshops (2021)

Keyphrases

databases
database
mobile robot
relational databases
dynamic environments
real time
formal verification
indoor environments
model checking
metadata
search algorithm
computing environments
changing environment
current situation
real time systems
genetic algorithm
requirements specification