Sommersemester 13

NXT-Programmierung mit Java

• Software-Projektpraktikum (7 Credits)
• Betreuer: Dipl.-Inform. Paul Hänsch, Dr. rer. nat. Igor Kalkov

Einführung in eingebettete Systeme

• Vorlesung (6 Credits)
• Betreuer: Dipl.-Inform. Volker Kamin

Praktikum Systemprogrammierung

• Praktikum (6 Credits)
• Betreuer: Dr.-Ing. Thomas Gerlitz

Einführung in eingebettete Systeme

• Vorlesung (V3/Ü1)
• Betreuer: Dipl.-Inform. Volker Kamin

Konsistenzsicherung in der modellbasierten eingebetteten Softwareentwicklung

• Seminar (4 Credits)
• Betreuer: Dr.-Ing. Thomas Gerlitz

Synthese und Implementierung von Steuerungen für ereignisdiskrete Systeme

• Seminar (4 Credits)
• Betreuer: Dr.-Ing. Florian Ottersbach (Göbe)

Evaluierung eines Testframeworks für Lebenszyklen mobiler Applikationen

• Praktikum
• Betreuer: Dr. rer. nat. Dominik Franke

Safety and dependability of software-controlled systems

• Vorlesung (V3/Ü1/6 credits)
• Betreuer: Marc Förster, M.Sc.