Lehre im Wintersemester 2007/2008

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]  Methoden und Modelle des Systementwurfs

Software wird zuverlässiger, änderbarer und preiswerter, wenn vor der Codierung ein Modell erstellt wird, das die Wirkung der Software auf ihre (technische oder organisatorische) Umgebung beschreibt. Die Vorlesung behandelt Methoden, um solche Modelle zu entwerfen und zu analysieren, unterstützt von Softwarewerkzeugen. Alle vorgestellten Methoden (ALLOY, ASM, CASL, CSP/CCS/PI, FOCUS, LARCH, MSC/LSC, Petrinetze, Statecharts, TLA, Z) und Analysetechniken (Invarianten, Model Checking, Refinement Calculus) werden in der industriellen Praxis verwendet.

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.

Sonstiges

Forschungsseminar des Lehrstuhles

Im Forschungsseminar werden aktuelle Themen im wöchentlichen Rhythmus von wechselnden Referenten vorgetragen. Das Seminar richtet sich an Studenten wie auch Mitarbeiter des Instituts.

Das Forschungsseminar findet jeden Mittwoch um 15:15 im Raum 4.410 RUD25 statt. Ansprechpartner: Peter Massuthe.

Archiv

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