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

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/11880240_45 ◽

2006 ◽

pp. 646-660 ◽

Cited By ~ 3

Author(s):

Claudia Pons ◽

Diego Garcia

Download Full-text