Software Engineering	Department	University
	Research	Teaching	Student Information	Members	Tools	Open Positions	Presentations	Publications

• Overview
• Winter Term 2009/2010
  • Course: Non-Functional Model Checking
  • Course: Software Engineering
  • Seminar: Abstraction of Programs and Models
  • Seminar: Durchführung und Management von Software-Projekten
  • Seminar: Graduate
    Research Seminar
  • Project (Bachelor):
    Software Engineering
  • Project (Master):
    Software Engineering
• Summer Term 2009
• Winter Term 2008/2009
• Summer Term 2008
• Winter Term 2007/2008
• Summer Term 2007
• Winter Term 2006/2007
• Summer Term 2006
• Winter Term 2005/2006
• Summer Term 2005
• Winter Term 2004/2005
• Summer Term 2004
 

Teaching

Winter Term 2009/2010

Bachelor				Course: Software Engineering   Course: Methoden der Praktischen Informatik I   Course: Non-Functional Model Checking   Seminar: Abstraction of Programs and Models   Seminar: Durchführung und Management von Software-Projekten   Project: Software Engineering
Master				Course: Software Engineering   Course: Non-Functional Model Checking   Seminar: Abstraction of Programs and Models   Seminar: Durchführung und Management von Software-Projekten   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Summer Term 2009

Bachelor				Course: Logic in Computer and Software Science   Seminar: Service Orientation   Seminar: Software Contracts   Project: Software Engineering   Projektgruppe: Software-Projekt
Master				Course: Logic in Computer and Software Science   Seminar: Software Contracts   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Winter Term 2008/09

Bachelor				Seminar: Directed Model Checking   Seminar: Static Program Analysis   Project: Software Engineering
Master				Seminar: Directed Model Checking   Seminar: Static Program Analysis   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Summer Term 2008

Bachelor				Course: Model Checking of Software   Seminar: Search Algorithms and Their Applications   Project: Software Engineering   Projektgruppe: Software-Projekt
Master				Course: Model Checking of Software   Seminar: Search Algorithms and Their Applications   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Winter Term 2007/2008

Bachelor				Course: Software Engineering   Seminar: Software Engineering for Automotive Systems   Project: Software Engineering
Master				Course: Software Engineering   Seminar: Software Engineering for Automotive Systems   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Summer Term 2007

Bachelor				Course: Distributed Software Systems   Seminar: Software-Entwicklungsmethoden   Project: Software Engineering   Projekt: Software-Projekt
Master				Course: Distributed Software Systems   Seminar: Fault Localization Techniques   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Winter Term 2006/2007

Bachelor				Course: Software Engineering   Seminar: Software-Entwurfsmethoden   Project: Software Engineering
Master				Course: Model Checking of Software   Course: Software Engineering   Seminar: Directed Model Checking   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Summer Term 2006

Bachelor				Course: Methoden der Praktischen Informatik 2   Seminar: Software Visualization   Seminar: Software-Entwurfsmethoden   Seminar: Static Software Analysis   Project: Software Engineering
Master				Seminar: Software Visualization   Seminar: Static Software Analysis   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Winter Term 2005/2006

Bachelor				Course: Software Engineering   Seminar: Konzepte der Software-Sicherheit   Seminar: Software-Entwicklungsmethoden   Project: Software Engineering   Vorlesung: Methoden der praktischen Informatik 1
Master				Course: Software Engineering   Seminar: Graduate Research Seminar   Seminar: Verified Software Security   Project: Software Engineering
PhD				Seminar: Graduate Research Seminar

Summer Term 2005

Bachelor				Course: Methoden der Praktischen Informatik 2   Course: Model Checking of Software   Seminar: Computer and Information Security (VS2)   Seminar: Modellierung von Workflows und Web Services (Methoden zum Entwurf komplexer Softwaresysteme)   Project: Software Engineering
Master				Course: Model Checking of Software   Seminar: Analysis and Verification of Workflows and Web Services   Seminar: Computer and Information Security (VS2)   Project: Software Engineering

Winter Term 2004/2005

Bachelor				Course: Distributed Software Systems   Seminar: Techniques for The Development of Complex Software Systems   Project: Software Engineering   Vorlesung: Methoden der praktischen Informatik 1
Master				Course: Distributed Software Systems   Seminar: Modeling and Analysis of Software Systems   Graduate Seminar: Software Engineering   Project: Analysis of Software Models
PhD				Graduate Seminar: Software Engineering

Summer Term 2004

Bachelor				Course: Software Engineering   Seminar: Technics for Development of Complex Software Systems   Project: Software Engineering
Master				Course: Software Engineering   Seminar: Modeling and Analysis of Software Systems   Graduate Seminar: Software Engineering   Project: Analysis of Software Models
PhD				Graduate Seminar: Software Engineering

Chair for Software Engineering · University of Konstanz
Universitätsstrasse 10 · Box D 67 · D-78457 Konstanz, Germany
Phone +49 (0)7531 88 4431 · Fax +49 (0)7531 88 3577