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.

@inproceedings{FissKL16,
  title = {Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language},
  author = {Sebastian Fiss and Max E. Kramer and Michael Langhammer},
  year = {2016},
  researchr = {https://researchr.org/publication/FissKL16},
  cites = {0},
  citedby = {0},
  pages = {189-204},
  booktitle = {Modellierung 2016, 2.-4. März 2016, Karlsruhe},
  editor = {Andreas Oberweis and Ralf H. Reussner},
  volume = {254},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-648-0},
}