Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence.

Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler

Browse the full MODELSWARD paper archive.