A formal approach to the specification and transformation of constraints in MDE

Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter. A formal approach to the specification and transformation of constraints in MDE. Journal of Logic and Algebraic Programming, 81(4):422-457, 2012. [doi]

Abstract

Abstract is missing.