Consistency checking for automatic software generation.

Published in: ISCIS (2009)

Keyphrases

consistency checking
stochastic search
query answering
software development
software systems
temporal reasoning
data sets
user interface
temporal constraints
software architecture
cardinal directions
database
path consistency
test cases
constraint satisfaction problems
source code
special case
high level
databases