Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille. Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. In Andreas Oberweis, Ralf H. Reussner, editors, Modellierung 2016, 2.-4. März 2016, Karlsruhe. Volume 254 of LNI, pages 117-124, GI, 2016.

Abstract

Abstract is missing.