Lehrangebot der Arbeitsgruppe Softwareentwicklung und Verifikation aus früheren Semestern

Wintersemester 2015/16

• Vorlesung: Theorie der Programmierung
• Projektseminar: Eine Workbench für formale Methoden der Softwareentwicklung
• Oberseminar: Softwareentwicklung und Verifikation

Sommersemester 2015

• Vorlesung: Model Checking
• Vorlesung: Formale Methoden der Softwareentwicklung
• Seminar: Ausgewählte Themen aus der Theorie der Programmierung
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2014/15

• Vorlesung: Software Engineering
• Seminar: Spezifikation und Verifikation von Echtzeitsystemen
• Projektseminar: Android-Programmierung
• Oberseminar: Softwareentwicklung und Verifikation

Sommersemester 2014

• Vorlesung: Theorie der Programmierung
• Seminar: Computersicherheit
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2013/14

• Vorlesung: Software Engineering
• Projektseminar: Interaktive Verifikation mit Isabelle/HOL
• Oberseminar: Softwareentwicklung und Verifikation
• Praktikum: Softwarepraktikum

Sommersemester 2013

• Projektseminar: Analyse von Android-Software
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2012/13

• Vorlesung: Model Checking
• Seminar: Ausgewählte Themen aus der Theorie der Programmierung
• Projektseminar: Interprozedurale Kontraktprüfung für Java
• Oberseminar: Softwareentwicklung und Verifikation
• Praktikum: Softwarepraktikum

Sommersemester 2012

• Vorlesung: Theorie der Programmierung
• Projektseminar: Kontraktprüfung für Java
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2011/12

• Vorlesung: Analyse und Verifikation kommunizierender Prozesse
• Seminar: Ausgewählte Themen aus der Theorie der Programmierung
• Projektseminar: Kontraktprüfung für Java
• Oberseminar: Softwareentwicklung und Verifikation
• Praktikum: Softwarepraktikum

Sommersemester 2011

• Vorlesung: Theorie der Programmierung
• Seminar: Ausgewählte Themen aus der Theorie der Programmierung
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2010/11

• Vorlesung: Software Engineering
• Praktikum: Softwarepraktikum
• Oberseminar: Softwareentwicklung und Verifikation

Sommersemester 2010

• Vorlesung: Theorie der Programmierung
• Seminar und Proseminar: Ausgewählte Themen aus der Theorie der Programmierung
• Projektseminar: Erweiterung des Isabelle Collections Frameworks
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2009/10

• Vorlesung: Model Checking
• Seminar und Proseminar: Theorie der Programmierung
• Praktikum: Softwarepraktikum
• Oberseminar: Softwareentwicklung und Verifikation

Sommersemester 2009

• Vorlesung: Theorie der Programmierung
• Projektseminar: Baumautomaten
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2008/09

• Vorlesung: Software Engineering
• Praktikum: Softwarepraktikum
• Oberseminar: Softwareentwicklung und Verifikation

Sommersemester 2008

• Wegen eines Forschungsfreisemesters bieten wir im Sommersemester 2008 keine Veranstaltungen an.

Wintersemester 2007/08

• Seminar: Theorembeweisen: Systeme und Anwendungen
• Projektseminar: Baumautomaten
• Praktikum: Softwarepraktikum
• Oberseminar: Softwareentwicklung und Verifikation

Sommersemester 2007

• Vorlesung: Theorie der Programmierung
• Seminar: Petri-Netze und andere Modelle von Nebenläufigkeit
• Oberseminar: Softwareentwicklung und Verifikation

Wintersemester 2006/2007

• Vorlesung: Software Engineering
• Praktikum: Softwarepraktikum

Sommersemester 2006

• Vorlesung: Theorie der Programmierung
• Seminar: Objekte und Komponenten

Wintersemester 2005/06

• Vorlesung: Programmanalyse und Verifikation
• Seminar: Objekte und Komponenten
• Softwarepraktikum