Folien von Vorlesung 9 December 18, 2023 Adrian Kunz Software Tool Construction, WS2324 STC_WS2324_VL9