Master

Synthesis of Stream-based Monitors on FPGAs

for Degree:

Contact Person:

Design und Entwicklung einer Softwarearchitektur zur Optimierung der Ladestrategien elektrisch betriebener Busse

for Degree:

Contact Person:

Stream-Based Verification with JUnit

for Degree:

Contact Person:

Parallel Analysis of Large Traces with Stream Based Specifications

for Degree:

Contact Person:

Efficient Code Generation for Stream-based Specifications

for Degree:

Contact Person:

Test-case Generation for Stream-based Specification Languages

for Degree:

Contact Person:

Operationalized Software Architecture Documentation

for Degree:

Contact Person:

Erstellung eines Prototyps für funktionale Programmierung in COBOL

for Degree:

Contact Person:

Runtime Verification and Testing

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4137 RV

CS4136 Testen

CS4139 RVTesten

CS4139 T RVTestena

Projektpraktikum Software Systems Engineering

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS5490SJ14

Pages