KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Fiss, S. 1; Kramer, M. E. 1; Langhammer, M. 1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Karlsruhe Service Research Institute (KSRI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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 für Informatik (GI)
Seiten 189-204
Serie Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) ; P254
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page