Generalizing Consistency Checking between Software Views.

Johan Muskens Reinder J. Bril Michel R. V. Chaudron

Published in: WICSA (2005)

Keyphrases

consistency checking
stochastic search
temporal constraints
computer systems
query answering
user interface
database
multiple views
three dimensional
software systems
data sets
databases
temporal reasoning
decision making
constraint satisfaction problems