Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.

Hiroaki Tanizaki Takuya Katayama

Published in: APSEC (2008)

Keyphrases

consistency checking
stochastic search
query answering
software development
software systems
temporal constraints
source code
temporal reasoning
constraint satisfaction problems
data mining
computer systems
case study
user interface
database
computer vision
knowledge representation