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

Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler. Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018. pages 139-151, SciTePress, 2018. [doi]

Abstract

Abstract is missing.