Lehrveranstaltungen
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:
- Tutorjobs für das WS 2008/2009: Softwaretechnik, JavaCard, Robotik
- Hiwijobs im Bereich "Modellgetriebene Softwareentwicklung sicherheitskritischer Systeme"
Lehrveranstaltungen im WS 2008/2009:
- Softwaretechnik (4+2 SWS, 9 LP)
- Programmieren von Java-SmartCards (2+4 SWS, 8 LP)
- 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, 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 für den E-Commerce
- Sichere Systeme
- Beweisbar korrekte Software SS 2008
- Seminar Systemmodellierung und Verifikation WS 2007/08
- Unregelmäßig angebotene Veranstaltungen
- Compilerbau WS 2001/02
- Sicherheit im E-Commerce SS 2001
- Seminar Desktop Management WS 2005/06
- Systemmodellierung mit SCADE SS2007
- Seminar Konzepte serviceorientierter Architekturen WS2007/08
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 SS 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]

