Automatically binding variables of invariants to violating elements in an OCL-aligned XBase-language
| 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 |