SS 2014

Software Reliability

Lecturer:

Prof. Dr. Martin Leucker

Modul:

Baltic Summer School 2014

Fallstudie zur professionellen Produktentwicklung: Logistik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Dr. rer. nat. Annette Stümpel

Modul:

CS5700, Teil 1

Runtime Verification

Lecturer:

Prof. Dr. Martin Leucker

Modul:

CS4137

Fallstudie zur professionellen Produktentwicklung - Internet für Dummies 1. Teil

Lecturer:

Prof. Dr. Martin Leucker

Modul:

CS5700

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Software- und System-Testen

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

René Schönfelder , Torben Scheffel

Modul:

CS4136

Fallstudie zur professionellen Produktentwicklung: GreenNav Carsharing and Intermodality

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

René Schönfelder

Modul:

CS5700

Programmiersprachen und Typsysteme

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS3052

ISP Oberseminar

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

ISP OS

Softwaretechnik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , René Schönfelder

Modul:

CS2300