Automated translation of JSD into CSP - a case study in methods integration.

Published in: J. Syst. Softw. (2000)

Keyphrases

significant improvement
empirical studies
benchmark datasets
constraint propagation
clustering algorithm
data integration
semi automated