... heißt ein bekannter Klassiker des Informatikers Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verstädlich 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ätigung des Studiums und zum Erfolg im Team.
| Tag | Zeit | Ort | |
|---|---|---|---|
| PS | Mittwoch | 9-11 Uhr | RUD 25, 4.113 |
Weitere Informationen auf der Website der Veranstaltung.
| Tag | Zeit | Ort | |
|---|---|---|---|
| UE | Montag | 13-15 Uhr | RUD 26, 1'306 |
| UE | Montag | 15-17 Uhr | RUD 26, 1'306 |
Mehr zur Vorlesung auf dieser Seite.
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 Vorlesungen zu Methoden und Modellen des Systementwurfes oder zur Computergestützten Verifikation ergänzt sich dieser Halbkurs zu einem Ganzkurs.
| Tag | Zeit | Ort | |
|---|---|---|---|
| VL | Dienstag | 9-11 Uhr | RUD 26, 0'313 |
| VL | Donnerstag | 9-11 Uhr | RUD 26, 0'313 |
| UE | Dienstag | 11-13 Uhr | RUD 26, 0'313 |
Weitere Informationen auf der Website der Veranstaltung.
Wir studieren computergestützte Verfahren, mit denen überprft werden kann, ob ein gegebenes Modell eines Systems eine gegebene Spezifikation erfllt. Der erste Teil betrifft finite state systems, z.B. Schaltkreise und Protokolle, wo leistungsstarke Methoden es bereits bis zur Praxisreife bringen. Der zweite Teil handelt von infinite state systems, unter anderem Echtzeitsystemen, hybriden Systemen und Software, die gerade im Mittelpunkt gegenwätiger Forschung stehen.
| Tag | Zeit | Ort | |
|---|---|---|---|
| VL | Montag | 11-13 Uhr | RUD 25, 3.101 |
| VL | Mittwoch | 11-13 Uhr | RUD 25, 3.101 |
| UE | Montag | 9-11 Uhr | RUD 25, 3.101 |
Weitere Informationen auf der Website der Veranstaltung.
Die Statische Programmanalyse bietet eine Reihe von Techniken zur Quelltextanalyse von Programmen. Mittels dieser Techniken könen approximativ Informationen über das dynamische Verhalten der Programme berechnet werden, wie z.B. toter Quelltext oder uninitialisierte Variablen. Die Hauptanwendung Statischer Programmanalyse ist die Optimierung von Quelltext im Compilerbau. Dieses Seminar gibt einen Überblick über bestehende Techniken und ihre Anwendungsmöglichkeiten.
| Tag | Zeit | Ort | |
|---|---|---|---|
| SE | Mittwoch | 13-15 Uhr | RUD 26, 1'307 |
Weitere Informationen auf der Website der Veranstaltung.
Gute Methoden zum Entwurf und zur Verifikation von Systemen sind ein Schlüssel für gute Software. Dieses Seminar betrachtet moderne Entwurfsmethoden, insbesondere "Abstract State Machines".
| Tag | Zeit | Ort | |
|---|---|---|---|
| SE | Donnerstag | 13-15 Uhr | RUD 25, 3.113 |
Weitere Informationen auf der Website der Veranstaltung.
... beschäftigt sich mit Geschäftsprozessen, BPEL, Bedienbarkeit, Bedienungsanleitungen und dem Projekt Tools4BPEL.
| Tag | Zeit | Ort | |
|---|---|---|---|
| Freitag | 13 Uhr (s.t.) | wird rechtzeitig per E-Mail angekündigt |
Die Taskforce-Seite findet sich hier.
Im Forschungsseminar werden aktuelle Themen im wöhentlichen Rhythmus von wechselnden Dozenten vorgetragen. Das Seminar richtet sich an Studenten wie auch Mitarbeiter des Instituts.
Eine Übersicht über Veranstaltungen der vorangegangenen Semester finden Sie im Archiv.
Weitere Veranstaltungen des Instituts für Informatik im laufenden Semester finden Sie im kommentierten Vorlesungsverzeichnis des Institutes für Informatik.