AktuellAbschlussarbeiten (Master-, Diplom-, Bachelor-)
Der Lehrstuhl für Softwaretechnik und Programmiersprachen (Prof. Dr. W. Reif) bietet eine Reihe interessanter Abschlussarbeiten an:
- Modellgetriebene Entwicklung eines formalen Modells zur Verifikation sicherheitskritischer Anwendungen
(Diplom-/Masterarbeit)
Ansprechpartner: Nina Moebius - Modellgetriebene Entwicklung von sicherheitskritischen Java Card-Anwendungen
(Diplom-/Masterarbeit)
Ansprechpartner: Nina Moebius - Integration von JML in das KIV-System
(Diplom-/Masterarbeit)
Ansprechpartner: Kurt Stenzel - Modell-basiertes Testen sicherheitskritischer Anwendungen
(Diplom-/Masterarbeit)
Ansprechpartner: Nina Moebius, Kurt Stenzel - Anwendung von Lernverfahren im Bereich der Sensornetzwerke
(Diplom-/Masterarbeit)
Ansprechpartner: Frank Ortmeier