Heute wurde das vorläufige Vorlesungsverzeichnis für das Sommersemester 2007 veröffentlicht.
Vor dem letzten Semester habe ich eine kleine Statistik über die Mastermodule veröffentlicht, die sehr erfolgreich gewesen ist. Auch durch die Statistik animiert haben sich Professoren des Bereiches MMWW noch einige Veranstaltungen zusätzlich angeboten.
Ich plane natürlich die erfolgreiche Master-Statistik vom letzten Semester zu wiederholen. Hier schon mal die Kurzversion also die Veranstaltungen nur für das nächste Semester:
III.1.1 Softwaretechnik I
- Modelchecking (Kindler)
- Seminar: Software Engineering für Automotive Systeme (Giese)
II.1.2 Softwaretechnik II
keine Veranstaltung
III.1.3 Sprachen und Programmiermethoden
- Generating Software form Specifications (Kastens)
- Prolog mit Anwendungen in Interpreterbau und Sprachverstehen (Böttcher)
III.1.4 Semantik und Verifikation
- Modelchecking (Kindler)
- Petri nets (Kindler)
III.1.5 Datenbanken und Informationssysteme
- Databases and information systems (Böttcher)
- Prolog mit Anwendungen in Interpreterbau und Sprachverstehen (Böttcher)
- Seminar: Kompression, Streaming und Caching von XML-Daten (Böttcher)
III.1.6 Data and Knowledge Engineering
keine Veranstaltung
III.1.7 Wissensbasierte Systeme
- Heuristische Suchverfahren (Lettmann)
- Propositional Proof Systems (Kleine Büning)
- Prolog mit Anwendungen in Interpreterbau und Sprachverstehen (Böttcher)
III.1.8 Intelligente Systeme
- Heuristische Suchverfahren (Lettmann)
III.2.1 Algorithmen I
- Datenverwaltung in Rechnernetzen (MadH)
- Algorithmen in der Computergrafik (Fischer)
- Heuristische Suchverfahren (Lettmann)
- Algorithmische Codierungstheorie (Blömer)
- Graphalgorithmen (Elsässer)
- Seminar: Randomisierte Algorithmen (Fischer, MadH)
III.2.2 Algorithmen II
- Datenverwaltung in Rechnernetzen (MadH)
- Algorithmen in der Computergrafik (Fischer)
- Algorithmische Codierungstheorie (Blömer)
- Graphalgorithmen (Elsässer)
- Seminar: Randomisierte Algorithmen (Fischer, MadH)
III.2.3 Berechenbarkeit und Komplexität
keine Veranstaltung
III.2.4 Algorithmen in Rechnernetzen
- Datenverwaltung in Rechnernetzen (MadH)
- Seminar: Randomisierte Algorithmen (Fischer, MadH)
III.2.5 Codes und Kryptographie
- Cryptographic Protocols (Blömer)
- Algorithmische Codierungstheorie (Blömer)
III.2.6 Optimierung
- Simplex und Graphalgorithmen
MUA ohne Einordnung:
- Algorithmic Game Theory (Mavronicolas)
- Approximationsalgorithmen (Schröder)
- Seminar: Algorithmic Game Theory (Mavronicolas)
III.3.1 Verteilte Rechnersysteme
- Ad hoc und Sensornetze (Karl)
III.3.2 Systemsoftware
keine Veranstaltung
III.3.3 Rechnernetze
- Ad hoc und Sensornetze (Karl)
III.3.4 Eingebettete Systeme
- Real Time Operating Systems (Rammig)
- Intelligenz in eingebetteten Systemen (Kleinjohann)
- Modelchecking (Kindler)
- Algorithmens in Manufacturing Systems (El-Kebbe)
III.3.5 HW/SW-Codesign
keine Veranstaltung
III.3.6 Eingebettete- und Echtzeitsysteme
- Real Time Operating Systems (Rammig)
- Intelligenz in eingebetteten Systemen (Kleinjohann)
- Algorithmens in Manufacturing Systems (El-Kebbe)
III.4.1 Grafische Datenverarbeitung
- Computer Graphics II (Domik)
- Seminar: Rendering von Volumen (Domik)
III.4.2 Informatik und Gesellschaft
- Seminar: Kooperations als Phänomen und Instrument in Wirtschaft und Informatik (Krüger)
- Seminar: Assistierende Technologien (Tauber)
III.4.3 Konzepte digitaler Medien
- Seminar: Kooperations als Phänomen und Instrument in Wirtschaft und Informatik (Krüger)
III.4.4 Computer gestützte kooperative Zusammenarbeit und Lernen
- Softwareergonomie (Keil)
- Seminar: Kooperations als Phänomen und Instrument in Wirtschaft und Informatik (Krüger)
III.4.5 Entwicklung von Benutzungsschnittstellen
keine Veranstaltung
III.4.6 Mensch-Maschine-Wechselwirkung
- Softwareergonomie (Keil)
- Seminar: Assistierende Technologien (Tauber)
III.4.7 Mensch-Computer-Interaktion
- Softwareergonomie (Keil)
- Seminar: Kooperations als Phänomen und Instrument in Wirtschaft und Informatik (Krüger)
- Seminar: Assistierende Technologien (Tauber)
Veranstaltungen ohne erkennbare Einordnung:
- Stufenbezogenen Unterrichtsmodelle - Prolog (Lehner)
Erstes Fazit:
Auf den ersten Blick bin ich natürlich von dem Angebot in MMWW positiv überrascht. Dort sind wirklische Verbesserungen eingetreten. Das Angebot in MUA ist bekannt gut.
Auch in SWT wird subjektiv mehr angeboten als im WS06/07.
Etwas enttäuscht bin ich persönlich (als jemand der zwischen ESS und SWT als Vertiefungsgebiet schwankt) von dem Angebot in ESS. Module III.3.1, III.3.2 und III.3.3 fast leer? Das ist schade.
Mir ist bewußt, dass a) Professor Kao fehlt und b) Professor Karl in diesem Semester extrem viele Veranstaltungen angeboten hat. Trotzdem ist die Entwicklung von 150% auf 0% in diesen Modulen bedauerlich.