Semantische Suche
Freitag, 21. Juni 2024
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Odilo Bügler |
|---|---|
| Titel | Extraktion von Label-Propagationsfunktionen für Informationsflussanalysen aus architekturellen Verhaltensbeschreibungen |
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Christopher Gerking |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Vertraulichkeit stellt eine Sicherheitseigenschaft dar, die für Systeme von großer Bedeutung sein kann. Eine Möglichkeit, Vertraulichkeitsverletzungen bereits in frühen Phasen des Softwareentwicklungsprozesses zu finden, ist die Analyse auf Datenflussdiagrammen (DFDs). Für eine solche Analyse beschreibt Seifermann eine Transformation aus architekturellen Verhaltensbeschreibungen – insbesondere der des Palladio-Komponentenmodells (PCM). Diese erfordert jedoch noch eine manuelle Vertraulichkeitsspezifikation und berücksichtigt keine impliziten Informationsflüsse. In dieser Arbeit wird daher eine Erweiterung des Transformationsprozesses erarbeitet. Diese verringert den nötigen Spezifikationsaufwand in Form von Label-Propagationsfunktionen und bezieht vorhandene Informationen über implizite Flüsse mit ein. Dafür werden Konzepte aus Typsystemen für Sicherheit herangezogen und auf den Transformationsprozess übertragen. Variablenabhängigkeiten im PCM werden dabei extrahiert und dienen als Grundlage, um Label-Propagationsfunktionen zu generieren. Das Konzept des Sicherheitskontexts wird weiter in die Analyse eingebracht, um implizite Flüsse zu erkennen. Anschließend wird die Erweiterung implementiert und auf die Reduktion des Spezifikationsaufwands sowie die Genauigkeit evaluiert. |
| Vortragende(r) | Jonas Lehmann |
|---|---|
| Titel | Iterative Quelltextanalyse für Informationsflusssicherheit zur Überprüfung von Vertraulichkeit auf Architekturebene |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Frederik Reiche |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Anne-Kathrin Hermann |
|---|---|
| Titel | Praxis der Forschung: Low Code in der sichtenbasierten Entwicklung |
| Vortragstyp | Vortrag |
| Betreuer(in) | Lars König |
| Vortragsmodus | online |
| Kurzfassung | In den letzten Jahren hat sich die Low-Code-Entwicklung (LCD) als eine innovative Methode zur Anwendungsentwicklung etabliert. Die LCD ermöglicht die Erstellung vielfältiger Anwendungen durch den Einsatz graphischer Tools, ohne oder mit nur geringen Kenntnissen textbasierter Programmiersprachen. Im Gegensatz dazu steht die Modellgetriebene Entwicklung (MDE), die auf Modellen als primäres Entwicklungswerkzeug basiert, um Softwaresysteme zu spezifizieren und Code teilweise automatisch zu generieren. Ein Teil davon ist die sichtbasierte Entwicklung, die sich auf die Darstellung eines Systems über verschiedene Sichten konzentriert. Innerhalb des geplanten Projekts wird ein Konzept entwickelt, um eine Low-Code-Sicht in ein sichtbasiertes System zu integrieren. Dies ermöglicht die Nutzung der leicht bedien- und erlernbaren Low-Code-Plattform (LCP) und erlaubt gleichzeitig eine flexible Erweiterung der Anwendung über andere Sichten. Dieses Konzept wird durch eine Fallstudie und Experteninterviews evaluiert. |
Freitag, 19. Juli 2024
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Nesta Bentum |
|---|---|
| Titel | Exploring Modern IDE Functionalities for Consistency Preservation |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Lars König |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBA |
| Vortragende(r) | Niklas Ewald |
|---|---|
| Titel | Retrieval-Augmented Large Language Models for Traceability Link Recovery |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Dominik Fuchß |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 20. September 2024
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Jessica Kimberly Woschek |
|---|---|
| Titel | Exploring the Traceability of Requirements and Source Code via LLMs |
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Kevin Feichtinger |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBA |
| Vortragende(r) | Lars Weber |
|---|---|
| Titel | Generation of Checkpoints for Hardware Architecture Simulators |
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Sebastian Weber |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBD |
| Vortragende(r) | Dennis Fadeev |
|---|---|
| Titel | Konzept und Integration eines Deltachain Prototyps |
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Thomas Weber |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBD |
Freitag, 27. September 2024
iCal (Download)
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
(Keine Vorträge)