WS 2013/2014

Fallstudie: Runtime Verification und Abstraktion

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Franziska Kühn , Daniel Thoma

Modul:

CS5700, Teil 2

ISP Oberseminar

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

ISP OS

Softwarekonstruktion

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Franziska Kühn

Modul:

CS4120

Softwaretechnik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , René Schönfelder

Modul:

CS2300

Fallstudie: Rotationsplanung

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Claudia Fischer

Modul:

CS5700 Teil 2

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Seminar Software Development Tools and Frameworks

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

René Schönfelder

Modul:

CS3702, CS3703

Spezifikation und Modellierung

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS4020

Präsentieren und Dokumentieren (PundD)

Lecturer:

PD Dr. Gerhard Buntrock

Modul:

PS3700

Software Engineering (Sweng) WS 2013/2014

Lecturer:

PD Dr. Gerhard Buntrock

Modul:

CS3200