Master

Specification of Digital Twins for a Practicable Implementation

for Degree:

Contact Person:

Einsatz von Behaviour Driven Development zur Sicherstellung der Systemperformance einer Webanwendung in einem medizinisch regulierten Umfeld

for Degree:

Contact Person:

Development of a DSL for cost calculation of automated immunodiagnostic tests

for Degree:

Contact Person:

Symbolic Stream Runtime Verification with Future

for Degree:

Contact Person:

Testdaten-Transfer

for Degree:

Contact Person:

Untersuchung unterschiedlicher Zielfunktionen bei der constraintbasierten Schleusenbelegungsplanung

for Degree:

Contact Person:

Modellierung örtlicher Bedingungen in strombasierten Spezifikationssprachen

for Degree:

Contact Person:

Metrik-basiertes Refaktorieren von Klassen am Beispiel der Kohäsion

for Degree:

Contact Person:

Operating Interorganizational Logistical Workflows on a Shared Software Platform

for Degree:

Contact Person:

Ein Szenarien-Simulator für Selbst-Optimierende Emergente Systeme

for Degree:

Contact Person:

Pages