Kramer, Max Emanuel
[Other];
Langhammer, Michael
[Other];
Messinger, Dominik
[Other];
Seifermann, Stephan
[Other];
Burger, Erik
[Other]
;
Karlsruher Institut für Technologie Fakultät für Informatik
Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius