KIT | KIT-Bibliothek | Impressum | Datenschutz

Change-Driven Consistency for Component Code, Architectural Models, and Contracts

Kramer, Max E.; Langhammer, Michael; Messinger, Dominik; Seifermann, Stephan ORCID iD icon; Burger, Erik ORCID iD icon


Volltext §
DOI: 10.5445/IR/1000052385
Originalveröffentlichung
DOI: 10.1145/2737166.2737177
Dimensions
Zitationen: 14
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2015
Sprache Englisch
Identifikator ISBN: 978-1-4503-3471-6
urn:nbn:de:swb:90-523859
KITopen-ID: 1000052385
Erschienen in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE’15), Montreal, QC, Canada, May 04 - 08, 2015
Verlag Association for Computing Machinery (ACM)
Seiten 21-26
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page