Lehre im Wintersemester 2006/2007

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 werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso 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

Für den Entwurf rechnerintegrierter Systeme werden unterschiedliche Methoden verwendet. Verbreitung und Akzeptanz einzelner Methoden wechseln häufig; gelegentlich werden neue vorgeschlagen. Die Vorlesung gibt einen Überblick über aktuelle Methoden, die sich in der Praxis bewährt haben und eine formale Grundlage besitzen. Derzeit gehören dazu Abstract State Machines, B, CASL, CHAM (mit Gamma-language), Message Sequence Charts, Petrinetze, Prozessalgebren (mit dem Pi-Kalkül und Lotos), Statecharts, TLA, VDM/VDL und Z.

Weitere Informationen auf der Website der Veranstaltung .

Seminar: Geschäftsprozessmodellierung (PI/ThI)

Im Seminar werden neue Methoden zur Modellierung und Analyse von Geschäftsprozessen behandelt.

Weitere Informationen auf der Website der Veranstaltung.

Seminar: Systementwurf

Gute Methoden zum Entwurf und zur Verifikation von Systemen sind ein Schlüssel für gute Software. Dieses Seminar betrachtet moderne Entwurfsmethoden.

Weitere Informationen auf der Website der Veranstaltung.

Seminar: Theorie der Programierung (PI)

Das Seminar behandelt die Modellierung von Geschäftsprozessen, die Geschäftsprozess- Modellierungssprache BPEL, sowie Konzepte serviceorientierter Architekturen, insbesondere Bedienbarkeit, Bedienungsanleitungen und Fragestgellungen aus dem Projekt Tools4BPEL. Teilnehmer mit am Lehrstuhl laufenden Studien- und Diplomarbeiten werden bevorzugt.

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.