Poster: Automatic Consistency Checking of Requirements with ReqV.

Simone Vuotto Massimo Narizzano Luca Pulina Armando Tacchella

Published in: ICST (2019)

Keyphrases

consistency checking
stochastic search
query answering
semi automatic
temporal reasoning
cooperative
temporal constraints
database
reinforcement learning
database management systems
dynamic environments
data integration