Teaching
Bachelor’s and Master’s theses
Software Engineering Projects
Courses
Winter term 2019/20
- Lecture “Replication and Consistency”
- Master Projekt: Software Engineering
- Vorlesung “Programmieren in C”
- Vorlesung “Algorithmen und Datenstrukturen”
Summer term 2019
- Lecture “Programming Distributed Systems”
- Vorlesung “Programmieren in Anwendungen”
- Master Seminar “Software-Engineering”
- Programmierprojekt
Winter term 2018/19
- Vorlesung “Grundlagen der Programmierung” (ehemals “Software-Entwicklung I”)
- Vorlesung “Programmieren in C”
- Lecture “Compiler and Language-Processing Tools”
- Master Project: Software Engineering (Topic: “Robust distributed systems”)
Summer term 2018
- Lecture “Programming Distributed Systems”
- Lecture “Programmieren in Anwendungen”
- Course “Training for Programming Contests”
- Master Seminar “Software-Engineering”
- Programmierprojekt
Winter term 2017/18
- Vorlesung “Software-Entwicklung I”
- Master Project: Software Engineering
- Bachelor and Master Seminar “Software-Engineering”
Summer term 2017
- Lecture “Compiler and Language-Processing Tools”
- Lecture “Logik”
- Lecture “Programmieren in Anwendungen”
- Veranstaltung “Training for Programming Contests”
- Master Seminar “Software-Engineering”
- Programmierprojekt
Winter term 2016/17
Summer term 2016
- Lecture “Compiler and Language-Processing Tools”
- Master Seminar “Software-Engineering”
- Bachelor Seminar “Software-Engineering”
- Programmierprojekt
Winter term 2015/16
Summer term 2015
- Lecture “Compiler and Language-Processing Tools”
- Lecture “Advanced aspects of object-oriented programming”
- Lecture “Programming in Applications”
- Programmierpraktikum
Winter term 2014/15
- Lecture “Software-Entwicklung I”
- Seminar “Software Engineering” (Advanced aspects of functional programming)
Summer term 2014
- Lecture “Advanced aspects of object-oriented programming”
- Lecture “Specification and Verification with Higher-Order Logic”
- Master’s project “Software Engineering” – Programming with eventually consistent data stores
- Lecture “Programming in Applications”
Winter term 2013/14
Summer term 2013
- Lecture “Advanced aspects of object-oriented programming”
- Lecture “Compiler and Language-Processing Tools”
- Lecture “Programming in Applications”
Winter term 2012/13
Summer term 2012
- Lecture “Specification and Verification with Higher-Order Logic”
- Lecture “Advanced aspects of object-oriented programming”
Winter term 2011/12
Summer term 2011
- Lecture “Advanced aspects of object-oriented programming”
- Lecture “Compiler and Language-Processing Tools”
Winter term 2010/2011
- Masterprojekt “Software Engineering” – Entwicklung eines Eclipse-Plugins für die ABS-Sprache
- Master’s Project “Software Engineering” – Development of an Eclipse-Plugin to ease Code Reviews
Summer term 2010
- Lecture “Specification and Verification with Higher-Order Logic”
- Lecture “Advanced aspects of object-oriented programming”
- Modulprüfung “Software-Entwicklung I”
- Masterprojekt “Software Engineering”
- Master seminar of the field of teaching “Software Engineering and Programming”
- Bachelor seminar of the field of teaching “Software Engineering and Programming”
Winter term 2009/2010
- Vorlesung “Software-Entwicklung 1”
- Master seminar of the field of teaching “Software Engineering and Programming”
- Bachelor seminar of the field of teaching “Software Engineering and Programming”
Summer term 2009
- Lecture “Advanced aspects of object-oriented programming”
- Lecture “Compiler and Language-Processing Tools”
- Modulprüfung “Software-Entwicklung I”
- 2. Klausur zur Veranstaltung Projektmanagement im Wintersemester 2008/09
Winter term 2008/2009
- Vorlesung Software-Entwicklung I
- Vorlesung Projektmanagement (Dr. Gerhard Pews)
- Joint seminar of the field of teaching “Software Engineering and Programming”
Summer term 2008
- Lecture “Advanced aspects of object-oriented programming”
- Lecture “Specification and verification with higher-order logic”
- Modulprüfung “Software-Entwicklung I”
Winter term 2007/2008
- Gemeinsames Seminar des Lehrgebiets “Software Engineering und Programmierung”
- Praktikum / Projekt Komponententechnik
- Vorlesung Software-Entwicklung I
Summer term 2007
- Seminar zum Themenbereich Softwaretechnik
- Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
- Vorlesung “Übersetzer und sprachverarbeitende Werkzeuge”
- Modulprüfung “Software-Entwicklung I”
Winter term 2006/2007
Summer term 2006
Winter term 2005/2006
- Proseminar “Historische Innovationen der Informatik”
- Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
- Vorlesung “Übersetzung von Programmiersprachen”
Summer term 2005
- Praktikum Komponententechnik
- Seminar “Komponentenmodelle in Praxis und Theorie”
- Implementierung formaler Beschreibungssprachen
- Spezifikation und Verifikation objektorientierter Programme
Winter term 2004/2005
- Fortgeschrittene Aspekte Objektorientierter Programmierung
- Übersetzung von Programmiersprachen
- Proseminar: Programmiersprachen
Summer term 2004
- Entwicklung von Softwaresystemen II
- Implementierung formaler Beschreibungssprachen
Winter term 2003/2004
Summer term 2003
- Hauptseminar: Spezifikations- und Verifikationstechniken für die Software-Entwicklung
- Entwicklung von Softwaresystemen II
Winter term 2002/2003
- Fortgeschrittene Aspekte objektorientierter Programmierung
- Entwicklung von Softwaresystemen I
Summer term 2002
- Implementierung von Programmiersprachen
- Seminar “Strukturierungstechniken”
Frühere Lehrveranstaltungen
Vor dem Sommersemester 2002 war Prof. Poetzsch-Heffter Lehrstuhlinhaber an der Fernuniversität Hagen. Folgende Veranstaltungen wurden dort von ihm durchgeführt:
- Kurs 1616: Einführung in die objektorientierte Programmierung
- Kurs 1618: Einführung in die objektorientierte Programmierung
- Kurs 1795: Software Engineering für graphisch-interaktive Systeme
- Kurs 1798: Software-Architektur
- Kurs 1814: Objektorientierte Programmierung
- Kurs 1815: Neuere Programmiersprachen
- Kurs 1852: Fortgeschrittene Konzepte funktionaler Programmierung
- Seminar: Strukturierungstechniken für die objektorientierte Programmierung
- Seminar: Programmiertechniken für Komponenten-Software
- Seminar: Formale Techniken in der Programmierung
- Seminar: Java makes the world go round
- Seminar: Komponentenbasierte Softwareentwicklung: Theorie und Praxis
- Seminar: Objektorientierte Programmierung - Aktuelles aus der Forschung
- Seminar: Programmschnittstellen: Grundlage für die bausteinorientierte Programmierung
- Seminar: Programmierung im Großen: Modularisierung, Verteilung und Entwurfsmuster
- Seminar: Wichtige Sprachkonstrukte und Klassen der Programmiersprache Java