Automated Validation of Conceptual Schema Constraints.

Terry A. Halpin, J. I. McCormack

Browse the full CaiSE paper archive.