Lehre im Sommersemester 2011

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

In diesem Praktikum vertiefen wir die in der Vorlesung "Methoden und Modelle des Systementwurfs" vorgestellten Methoden. Hierbei legen wir unseren Schwerpunkt auf gängige Werkzeuge und ziehen somit den Bogen von den in der Vorlesung gelehrten formalen Grundlagen zur Praxis.

Weitere Informationen auf der Website der Veranstaltung.

[Vorlesung]  Modellierung und Spezifikation

Nach erfolgreichem Besuch dieses Moduls haben die Studierenden einen Überblick über die aktuell wichtigsten in der Praxis verwendeten Spezifikationsmethoden und Modellierungstechniken beim Softwareentwurf. Die Studierenden beherrschen einige Softwarewerkzeuge, die die Nutzung dieser Methoden in der Praxis unterstützen.

Weitere Informationen auf der Website der Veranstaltung.

[Praktikum]  Modellierung und Spezifikation

Praktikum zur gleichnamigen Vorlesung.

Weitere Informationen auf der Website der Veranstaltung.

[Seminar]  Servicekomposition

In dem Seminar werden wir uns mit (Web-)Services beschäftigen, (kleinen) Softwareartefakten mit einem Kommunikationsinterface. Neben einer genauen Abgrenzung des Begriffs und Einordnung in die Welt der Service-orientierten Architekturen (SOA) stehen Entwurf, Beschreibung und Analyse sogenannter Servicechoreographien im Blickpunkt des Seminars.

Weitere Informationen auf der Website der Veranstaltung.

Archiv

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