Cesar: A Static Sequencing Constraint Analyzer.

Kurt M. Olender Leon J. Osterweil

Published in: Symposium on Testing, Analysis, and Verification (1989)

Keyphrases

data mining
real time
data sets
information systems
metadata
website
case study
database systems
multi agent
information technology
global constraints
linear constraints
constraint solving