Bachelor

Seminar Concepts of Programming Languages (CoPL)

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Sebastian Hungerecker , Malte Schmitz

Modul:

CS 3702 BachSemInf,

CS 3703 BachSemMI,

CS 5480 SemSSE,

CS 5840 SemiEngl

Integration eines neuen Serialisierungs- und Übertragungsprotokolls in das ZeLiM-System

for Degree:

Contact Person:

Datenschutz im Straßenverkehr - Wie sensibel sind die gesammelten Daten? Eine Analyse im Kontext von Green Navigation

for Degree:

RESTful Webservice für Webapplikationen am Beispiel eines Hochschulsport-Buchungssystems

for Degree:

Contact Person:

Algebraische Strukturen: Beispiele und Anwendungen im Routing

for Degree:

Erweiterung von Freeze-LTL auf mehrfach attributierten Datenwörtern um 2 neue Quantoren

for Degree:

Refactoring und Erweiterung der Hard- und Software-Architektur des eRoller-Systems

for Degree:

Contact Person:

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,

...

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Entwicklung eines Redmine-Plugins für die Verwaltung von Story-Cards in Verbindung mit kontinuierlichem Testen

for Degree:

Pages