Wintersemester 2019/20

• Lecture “Replication and Consistency”
• Master Projekt: Software Engineering
• Vorlesung “Programmieren in C”
• Vorlesung “Algorithmen und Datenstrukturen”

Sommersemester 2019

• Lecture “Programming Distributed Systems”
• Vorlesung “Programmieren in Anwendungen”
• Master Seminar “Software-Engineering”
• Programmierprojekt

Wintersemester 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”)

Sommersemester 2018

• Vorlesung “Programming Distributed Systems”
• Vorlesung “Programmieren in Anwendungen”
• Veranstaltung “Training für Programmierwettbewerb”
• Master Seminar “Software-Engineering”
• Programmierprojekt

Wintersemester 2017/18

• Vorlesung “Software-Entwicklung I”
• Master Project: Software Engineering
• Bachelor and Master Seminar “Software-Engineering”

Sommersemester 2017

• Vorlesung “Compiler and Language-Processing Tools”
• Vorlesung “Logik”
• Vorlesung “Programmieren in Anwendungen”
• Veranstaltung “Training für Programmierwettbewerb”
• Master Seminar “Software-Engineering”
• Programmierprojekt

Wintersemester 2016/17

• Vorlesung “Software-Entwicklung I”
• Master Project: Distributed Information Systems

Sommersemester 2016

• Vorlesung “Compiler and Language-Processing Tools”
• Master Seminar “Software-Engineering”
• Bachelor Seminar “Software-Engineering”
• Programmierprojekt

Wintersemester 2015/16

• Vorlesung “Software-Entwicklung I”
• Master Project Software Engineering: Building a Parser Generator

Sommersemester 2015

• Vorlesung “Compiler and Language-Processing Tools”
• Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
• Vorlesung “Programmieren in Anwendungen”
• Programmierpraktikum

Wintersemester 2014/15

• Vorlesung “Software-Entwicklung I”
• Seminar “Software Engineering” (Advanced aspects of functional programming)

Sommersemester 2014

• Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
• Vorlesung “Specification and Verification with Higher-Order Logic”
• Master-Projekt “Software Engineering” – Programming with eventually consistent data stores
• Vorlesung “Programmieren in Anwendungen”
• Programmierpraktikum

Wintersemester 2013/14

• Vorlesung “Software-Entwicklung I”
• Seminar “Software Engineering”

Sommersemester 2013

• Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
• Vorlesung “Übersetzer und sprachverarbeitende Werkzeuge”
• Vorlesung “Programmieren in Anwendungen”

Wintersemester 2012/13

• Vorlesung “Software-Entwicklung I”
• Oberseminar

Sommersemester 2012

• Vorlesung “Specification and Verification with Higher-Order Logic”
• Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”

Wintersemester 2011/12

• Vorlesung “Software-Entwicklung I”

Sommersemester 2011

• Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
• Vorlesung “Übersetzer und sprachverarbeitende Werkzeuge”

Wintersemester 2010/2011

• Masterprojekt “Software Engineering” – Entwicklung eines Eclipse-Plugins für die ABS-Sprache
• Masterprojekt “Software Engineering” – Entwicklung eines Eclipse-Plugins zur Unterstützung von Code Reviews

Sommersemester 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”

Wintersemester 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”

Sommersemester 2009

• Lecture “Advanced aspects of object-oriented programming”
• Vorlesung “Übersetzer und sprachverarbeitende Werkzeuge”
• Modulprüfung “Software-Entwicklung I”
• 2. Klausur zur Veranstaltung Projektmanagement im Wintersemester 2008/09

Wintersemester 2008/2009

• Vorlesung Software-Entwicklung I
• Vorlesung Projektmanagement (Dr. Gerhard Pews)
• Joint seminar of the field of teaching “Software Engineering and Programming”
• Master Project Software EngineeringPraktikum / Master-Projekt Software Engineering

Sommersemester 2008

• Lecture “Advanced aspects of object-oriented programming”
• Lecture “Specification and verification with higher-order logic”
• Modulprüfung “Software-Entwicklung I”

Wintersemester 2007/2008

• Gemeinsames Seminar des Lehrgebiets “Software Engineering und Programmierung”
• Praktikum / Projekt Komponententechnik
• Vorlesung Software-Entwicklung I

Sommersemester 2007

• Seminar zum Themenbereich Softwaretechnik
• Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
• Vorlesung “Übersetzer und sprachverarbeitende Werkzeuge”
• Modulprüfung “Software-Entwicklung I”

Wintersemester 2006/2007

• Praktikum Komponententechnik
• Vorlesung Software-Entwicklung I

Sommersemester 2006

Wintersemester 2005/2006

• Proseminar “Historische Innovationen der Informatik”
• Vorlesung “Fortgeschrittene Aspekte objektorientierter Programmierung”
• Vorlesung “Übersetzung von Programmiersprachen”

Sommersemester 2005

• Praktikum Komponententechnik
• Seminar “Komponentenmodelle in Praxis und Theorie”
• Implementierung formaler Beschreibungssprachen
• Spezifikation und Verifikation objektorientierter Programme

Wintersemester 2004/2005

• Fortgeschrittene Aspekte Objektorientierter Programmierung
• Übersetzung von Programmiersprachen
• Proseminar: Programmiersprachen

Sommersemester 2004

• Entwicklung von Softwaresystemen II
• Implementierung formaler Beschreibungssprachen

Wintersemester 2003/2004

• Proseminar: Website-Management-Systeme
• Vorlesung: Entwicklung von Softwaresystemen I

Sommersemester 2003

• Hauptseminar: Spezifikations- und Verifikationstechniken für die Software-Entwicklung
• Entwicklung von Softwaresystemen II

Wintersemester 2002/2003

• Fortgeschrittene Aspekte objektorientierter Programmierung
• Entwicklung von Softwaresystemen I

Sommersemester 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