1 Dozenten: Markus Rentschler Andreas Stuckert Version 22.01.2016 Software Engineering I VE 12: Logische Basiskonzepte 1 Vorlesung Software Engineering.