Ausschreibungen/ArDoCo
Auf dieser Seite finden Sie Bachelor- und Studienarbeiten sowie Ausschreibungen für Mitarbeiter- und Hilfskraftstellen im Projekt ArDoCo:
Informationen zum generellen Ablauf von Abschlussarbeiten bei SDQ erhalten Sie auf der Seite Abschlussarbeit/Studienarbeit.
Nicht alle offenen bzw. möglichen Themen sind ausgeschrieben und über diese Seite auffindbar. Bei allgemeinem Interesse kontaktieren Sie einfach Jan Keim, Sophie Corallo (Schulz), Dominik Fuchß oder Tobias Hey. Es lässt sich dann üblicherweise ein Thema entsprechend unserer aktuellen Forschungsthemen erstellen, sowie speziell auf Ihrer Interessen zuschneiden. Sie können auch ein individuelles Thema vorschlagen.
Bachelorarbeiten
| Thema | Betreuer/-in | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|---|---|
| The Structure of Design Argumentations in Code Changes | Tobias Hey Haoyu Liu | Mi 3. Dezember 2025 |
| Building a Benchmark for LLM-assisted Formal Verification | Dominik Fuchß Tobias Hey | Mo 10. November 2025 |
Masterarbeiten
| Thema | Betreuer/-in | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|---|---|
| The Structure of Design Argumentations in Code Changes | Tobias Hey Haoyu Liu | Mi 3. Dezember 2025 |
| Utilizing Context to Improve LLM-assisted Formal Verification | Tobias Hey Tianhai Liu | Di 21. Oktober 2025 |
Hilfskräfte
| Thema | Betreuer | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|---|---|
| Weiterentwicklung des ARDoCo-Frameworks für Traceability Link Recovery & Konsistenzanalyse | Jan Keim Dominik Fuchß Sophie Corallo | Mi 19. November 2025 |