KIT | KIT-Bibliothek | Impressum

Automatically binding variables of invariants to violating elements in an OCL-aligned XBase-language

Fiss, S.; Kramer, M. E.; Langhammer, M.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator ISBN: 978-3-88579-648-0
ISSN: 1617-5468
KITopen ID: 1000069159
Erschienen in Modellierung 2016 - Modeling 2016; Karlsruhe; Germany; 2 March 2016 through 4 March 2016
Verlag Gesellschaft fur Informatik (GI)
Seiten 189-204
Serie Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) ; P254
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page