Bachelor

Sichere Software

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS3250-KP08

Konzeption eines digitalen Klassenbuchs

for Degree:

Contact Person:

Development of Safety-Critical Software (Sichere Software)

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Felix Dino Lange , Karam Younes Kharraz

Modul:

CS3250-KP08

Integrating jUnitRV and TeSSLa for Stream Runtime Verification (SRV)

for Degree:

Contact Person:

Praktikum Software Engineering

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Lukas Convent , Torben Scheffel

Modul:

CS2301

Programmiersprachen und Typsysteme

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS3052

Software Engineering

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS2300-KP06,

CS2300SJ14,

CS2300,

CS2300-MIW

Einführung in Software Systems Engineering

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS1900-KP04

Using Intel Processor Tracing (for Runtime Monitoring)

for Degree:

Contact Person:

Entwicklung einer Videotext-Komponente für das TV2IP-System

for Degree:

Contact Person:

Pages