Eliminating invariants in UML/OCL models

Mathias Soeken, Robert Wille, Rolf Drechsler. Eliminating invariants in UML/OCL models. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 1142-1145, IEEE, 2012. [doi]

Abstract

Abstract is missing.