An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE.

Claudia Pons, Diego Garca

Browse the full MODELS paper archive.