Lehre im Wintersemester 2009/2010

Grundstudium

[Proseminar]  Beauty is our Business

... heißt ein bekannter "Klassiker" des Informatikers Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen und zu kleinen formalen Begriffen und Ableitungen werden in diesem Proseminar behandelt mit dem Ziel, sie mustergültig den Zuhörern zu präsentieren: Eine Übung zur Bewältigung des Studiums und zum Erfolg im Team.

Weitere Informationen auf der Website der Veranstaltung.

Hauptstudium

[Vorlesung]  Verteilte Algorithmen (PI/ThI)

Ein Algorithmus heißt verteilt, wenn er auf einer physikalisch oder logisch verteilten Architektur arbeitet. Solche Algorithmen werden praktisch zunehmend wichtiger. In der Vorlesung wird eine Reihe solcher Algorithmen vorgestellt und ihre Korrektheit bewiesen. Mit Vorlesung zu Methoden und Modellen des Systementwurfes ergänzt sich dieser Halbkurs zu einem Ganzkurs.

Weitere Informationen auf der Website der Veranstaltung.

[Seminar]  Analyse von Petrinetz-Modellen (ThI)

Petrinetze werden zur Modellierung verteilter Systeme verwendet. Zustandsänderungen in einem Petrinetz-Modell werden verstanden als Erzeugen und Vernichten von Ressourcen (statt des sonst üblichen Lesens und Schreibens von Variablen). Dadurch ergeben sich interessante algorithmische Analysemöglichkeiten, die in diesem Seminar vorgestellt werden.

Weitere Informationen auf der Website der Veranstaltung.

[Seminar]  Model-Checking (ThI)

Wir studieren in diesem Seminar computergestützte Verfahren, mit denen überprüft werden kann, ob ein gegebenes Modell eines Systems eine gegebene Spezifikation erfüllt. Der Schwerpunkt liegt hierbei auf den Grundlagen moderner Model-Checking-Programme - Modellierung von Systemen, Eigenschaften von Systemen und deren Spezifikation und verschiedene Model-Checking Methoden.

Weitere Informationen auf der Website der Veranstaltung.

[Seminar]  Servicekomposition in SOA (PI/ThI)

Das Seminar beschäftigt sich mit verschiedenen Ansätzen, einen Service S aus einer Menge gegebener Services zu generieren, sodass S gewisse funktionale und nichtfunktionale Eigenschaften aufweist.

Weitere Informationen auf der Website der Veranstaltung.

Archiv

Eine Übersicht über Veranstaltungen der vergangenen Semester finden Sie im Archiv.