You are here

Home ›

SS 2015

Praktika und Fallstudien am ISP im SS 15

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Martin Blankenburg , Sebastian Hungerecker , Torben Scheffel , Malte Schmitz , Jannis Harder
Modul: 
CS5700,
CS4520,
CS5490(SJ14),
CS5198,
CS3701(SJ14),
CS3701,
CS5990,
CS3990,
CS4199,
CS5196,
CS3410,
...

Runtime Verification und Testen

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Malte Schmitz
Modul: 
CS4137 RV,
CS4136 Testen,
CS4139 RVTesten,
CS4139 T RVTestena

Spezifikation und Modellierung

Lecturer: 
Dr. rer. nat. Annette Stümpel
Modul: 
CS4020SJ14,
CS4020

Seminar Formal Verification

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Normann Decker , Daniel Thoma
Modul: 
CS3702,
CS5840,
CS5480,
CS5015,
CS5191

Softwaretechnik

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Torben Scheffel , René Schönfelder
Modul: 
CS2300

ISP Oberseminar

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Normann Decker
Modul: 
ISP OS
Subscribe to RSS - SS 2015