Towards Automated Consistency Checking of Module Interface Specifications.

Marcin Engel Artur Kret Janina Mincer-Daszkiewicz

Published in: Fundam. Informaticae (2000)

Keyphrases

consistency checking
stochastic search
query answering
user interface
databases
temporal reasoning
temporal constraints
formal specification
image retrieval
arc consistency
path consistency
delay insensitive
database
data sets
case study
data model