AktuellLehrveranstaltungen
Abschlussarbeiten:
Der Lehrstuhl für Softwaretechnik und Programmiersprachen (Prof. Dr. W. Reif) bietet eine Reihe interessanter Abschlussarbeiten an:
- Modellgetriebene Generierung eines formalen Modells zur Verifikation sicherheitskritischer Anwendungen (Diplom-/Masterarbeit)
- Modellgetriebene Codegenerierung von Java Card Anwendungen (Diplom-/Masterarbeit)
- Modell-basiertes Testen sicherheitskritischer Anwendungen (Diplom-/Masterarbeit)
- Integration von JML in das KIV-System (Diplom-/Masterarbeit)
- Anwendung von Lernverfahren im Bereich der Sensornetzwerke (Diplom-/Masterarbeit)
Offene Hiwi- und Tutorjobs:
Lehrveranstaltungen im WS 2008/2009:
- Vorlesung Softwaretechnik (4+2 SWS, 9 LP)
- Integrierte Vorlesung und Übung Programmieren von Java-SmartCards (2+4 SWS, 8 LP)
- Integrierte Vorlesung und Übung Softwareentwicklung für Industrieroboter (2+4 SWS, 8 LP)
- Seminar moderne Entwurfstechniken für innovative Softwaresysteme (2 SWS, 4 LP)
- Seminar Systemmodellierung und Verifikation (2 SWS, 4 LP)
- Seminar Echtzeitsysteme (2 SWS, 4 LP)
Regelmäßig angebotene Lehrveranstaltungen (Hauptstudium)
Die Lehrveranstaltungen für Studenten im Hauptstudium werden regelmäßig angeboten: man kann sein Studium also weitgehend planen.
Der Lehrstuhl Softwaretechnik und Programmiersprachen von Prof. Reif bietet regelmäßig die unten aufgelisteten Vorlesungen und Seminare an. (Bem.: Die meisten Lehrveranstaltungen von Prof. Bauer gehören ebenfalls in den Bereich 'Softwaretechnik und Programmiersprachen'.)
- Allgemeine Softwaretechnik
- Softwaretechnik WS 2008/09
- Softwareprojekt/-praktikum (Pflicht, 4. Semester) SS 2008
- Software Entwicklung für Industrieroboter WS 2008/09
- Seminar Advanced Software Engineering SS 2008
- Softwaretechnik für den E-Commerce
- Programmieren von Java Smartcards WS 2008/09
- Seminar über 'Sicherheit im Internet' SS 2008
- Sichere Systeme
- Beweisbar korrekte Software SS 2008
- Seminar Systemmodellierung und Verifikation WS 2008/09
Lehrveranstaltungen im SS 2008
- Softwarepraktikum (4. Semester, 2+4 SWS, 10 LP)
- Beweisbar korrekte Software (2+4, 8 LP)
- Softwareentwicklung für Industrieroboter (2+4 SWS, 8 LP)
- Seminar Advanced Software Engineering (2 SWS, 4 LP)
- Seminar über Sicherheit im Internet (2 SWS, 4 LP)
- Seminar Organic Computing (2 SWS, 4 LP)
Kommentiertes Vorlesungsverzeichnis
Das gesamte Lehrangebot der Informatik kann im kommentierten Vorlesungsverzeichnis WS 2008 eingesehen werden.
- Wintersemester 2008/2009 - [weitere Informationen]
- Sommersemester 2008 - [weitere Informationen]
- Wintersemester 2007/08 - [weitere Informationen]
- Sommersemester 2007 - [weitere Informationen]
- frühere Semester - [weitere Informationen]