Lehre im Sommersemester 2009

Grundstudium

[Vorlesung]  Praktische Informatik 2

Grundvorlesung für das zweite Semester. Die Vorlesung behandelt Prinzipien und Anwendungen der logischen und funktionalen Programmierung am Beispiel der Programmiersprachen Prolog und Haskell. Weiterhin wird in das Gebiet der modellbasierten Softwareentwicklung am Beispiel der UML eingeführt.

Zur Vorlesung findet ein Einzelpraktikum mit den Schwerpunkten Java, Prolog und Haskell statt.

Weitere Informationen auf der Website der Veranstaltung.

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

In diesem Seminar 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.

Archiv

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