WS 2014/2015

Model Checking (WS 2014/15)

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Grigory Markin , Jannis Harder

Modul:

CS4138,

CS4138SJ14,

CS4138 TSJ14,

CS4507

Praktika und Fallstudien am ISP im WS 14/15

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Martin Blankenburg , Sebastian Hungerecker , Torben Scheffel , Malte Schmitz

Modul:

CS5700,

CS4520,

CS5490(SJ14),

CS5198,

CS3701(SJ14),

CS3701,

CS5990,

CS3990

Software Engineering (Sweng)

Lecturer:

PD Dr. Gerhard Buntrock

Assistants:

René Schönfelder

Modul:

CS3200

Softwaretechnik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Torben Scheffel , René Schönfelder

Modul:

CS2300

Fallstudie zur professionellen Produktentwicklung: Logistik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Dr. rer. nat. Annette Stümpel

Modul:

CS5700, Teil 2

Spezifikation und Modellierung (4 ECTS)

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS4020

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

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

Lecturer:

Prof. Dr. Martin Leucker

Modul:

CS5700

Fallstudie zur professionellen Produktentwicklung: GreenNav Carsharing and Intermodality

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

René Schönfelder

Modul:

CS5700

ISP Oberseminar

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

ISP OS