Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language

Sebastian Fiss, Max E. Kramer, Michael Langhammer. Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language. In Andreas Oberweis, Ralf H. Reussner, editors, Modellierung 2016, 2.-4. März 2016, Karlsruhe. Volume 254 of LNI, pages 189-204, GI, 2016.

Abstract

Abstract is missing.