Folien von Vorlesung 5 November 20, 2023 Adrian Kunz Software Tool Construction, WS2324 STC_WS2324_VL5