Offene Abschlussarbeiten / Projekte
Bachelorarbeiten
- Szenariobasierte Tests für SPECTRA-Spezifikationen - PDF 46 KB
- Generierung formaler Spezifikationen mittels LLMs und Error-Correction Parsing - PDF 41 KB
- Translating OSC DSL DSL Specifications into Executable Process Trees - PDF 34 KB
- Measuring Distance Between Concrete and Abstract Scenarios - PDF 37 KB