Startseite > Fachgruppen > Softwaretechnik > Lehre > Bachelor- / Masterarbeiten > Ausgeschriebene Arbeiten

Ausgeschriebene Arbeiten

Design of a Domain-Specific Language for Dataflow Analysis Specification

Design of a Domain-Specific Language for Detecting Architectural Weaknesses

Least-restricting evolution of model-based requirements

Platform-specific Threat Modeling

Pointers in Java?! Evaluation of feasibility and capabilities in static analysis

Protocols for Communication between IDEs / Editors and Tools

Querying Runtime-Data in Simulation-based Testing

Requirements Traceability for CC Evaluation

Review on Error Communication between IDE / Editor and Developer

Security-Protocol Verification by means of TAMARIN

Verbesserung der Usability des Werkzeugs CogniCrypt

Informationen zu laufenden Bachelor- / Masterarbeiten.

Informationen zu bereits abgeschlossenen Bachelor-, Master-, Studien-, und Diplomarbeiten.