Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL.

Bernhard Rumpe, Max Stachon, Sebastian Stber, Valdes Voufo

Browse the full MODELS paper archive.