Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations.

Thorsten Arendt, Gabriele Taentzer, Alexander Weber

Browse the full MODELS paper archive.