Semantische Suche

Diese Seite oder Aktion benötigt JavaScript, um zu funktionieren. Bitte aktiviere JavaScript in deinem Browser oder verwende einen Browser, der dies unterstützt, damit die angeforderten Funktionen ausgeführt werden können. Weitere Informationen findest du auf der Hilfeseite zu „noscript“.

Optionen | Suche Alle Einträge löschen |

Abfrageanweisungen (Bedingungen)

Ausgabeanweisungen (Anzeige)

Optionen

Parameter [+]

limit:

Legt fest, wie viele Ergebnisse bei der Ausgabe der Abfrageergebnisse maximal angezeigt werden sollen

offset:

Legt fest, ab dem wievielten Ergebnis mit der Ausgabe der Abfrageergebnisse begonnen werden soll

link:

Legt fest, ob die Datenwerte der Ergebnisse bei der Ausgabe der Abfrageergebnisse als Link angezeigt werden sollen

headers:

Legt fest, ob Überschriften bzw. Attributbezeichnungen bei der Ausgabe der Abfrageergebnisse verwendet werden sollen

mainlabel:

Legt fest, welche Überschrift oder Bezeichnung für die Hauptergebnisspalte bei der Ausgabe der Abfrageergebnisse angezeigt werden soll

intro:

Legt fest, welcher Text vor der Ausgabe der Abfrageergebnisse angezeigt werden soll

outro:

Legt fest, welcher Text nach der Ausgabe der Abfrageergebnisse angezeigt werden soll

searchlabel:

Legt fest, welcher Text als Link zur Ausgabe weiterer Abfrageergebnisse angezeigt werden soll

default:

Legt fest, welcher Text angezeigt werden soll, sofern keine Abfrageergebnisse vorhanden sind

import-annotation:

Legt fest, ob die zusätzlich annotierten Daten während des Parsens einer Seite kopiert werden sollen

propsep:

Legt fest, welches Trennzeichen zwischen den Attributen der Ergebnisse genutzt werden soll

valuesep:

Legt fest, welches Trennzeichen zwischen den Attributwerten der Ergebnisse genutzt werden soll

template:

Legt fest, welche Vorlage zum Anzeigen der Abfrageergebnisse verwendet werden soll

named args:

Legt fest, ob Bezeichnungen für die Parameter an die Vorlage bei der Ausgabe der Abfrageergebnisse weitergegeben werden sollen

userparam:

Legt fest, welcher Wert jedem Vorlagenaufruf übergeben wird, sofern eine Vorlage genutzt wird

class:

Legt fest, welche zusätzliche CSS-Klasse genutzt werden soll

introtemplate:

Legt fest, welche Vorlage vor der Ausgabe von Abfrageergebnissen eingefügt werden soll

outrotemplate:

Legt fest, welche Vorlage nach der Ausgabe von Abfrageergebnissen eingefügt werden soll

sep:

Legt fest, welches Trennzeichen bei der Ausgabe der Abfrageergebnisse genutzt werden soll

prefix:

Control display of namespace in printouts

Sortierbedingungen

Löschen

Sortierbedingung hinzufügen

ErgebnisCodeFehleranalyseExtra

Zum Einbetten dieser Abfrage in eine Wikiseite kann der unten angegebene Code verwendet werden:

{{#ask: [[Kategorie:Termin]] [[Veranstaltungsdatum::≥23 September 2022]] [[-Termin::+]]
 |?Veranstaltungsdatum#DE-F[l, j. F Y, H:i \U\h\r]
 |?Veranstaltungsraum
 |?Webkonferenzraum
 |format=plainlist
 |limit=50
 |offset=55
 |link=none
 |sort=Veranstaltungsdatum
 |order=ascending
 |mainlabel=Name
 |searchlabel= weitere Termine
 |template=Termin-Ergebnis
 |named args=yes
}}

Ergebnisse 56 – 61 vorherige 50 20 50 100 250 500 nächste 50

JSON CSV RSS RDF

Abfrage-Logbuch

{
    "query_string": "[[Kategorie:Termin]] [[Veranstaltungsdatum::\u226523 September 2022]] [[-Termin::+]]",
    "query_source": "SMWSQLStore",
    "query_time": "0.0080",
    "from_cache": false
}

Freitag, 7. Juni 2024, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

Vortragende(r)	Melisa Demirhan
Titel	Concept and Implementation of a Delta Chain
Vortragstyp	Bachelorarbeit
Betreuer(in)	Thomas Weber
Vortragsmodus	in Präsenz
Kurzfassung	Die sich weiterentwickelnde Technologie erfordert eine organisationsübergreifende Zusammenarbeit, um die komplexen Aufgaben bei der Entwicklung komplexer Systeme wie Webservices, IoT und heterogener Systeme zu bewältigen. Auf diese Weise hat die Zusammenarbeit das Potenzial, den hohen Ressourcen- und Qualitätsbedarf zu mindern und von den komplementären Ressourcen der Zusammenarbeit zu profitieren. Dennoch muss während der Zusammenarbeit ein Austausch der Versionen der entwickelten Schnittstellen möglich sein. Während des Austauschs muss der Schutz des geistigen Eigentums der kooperierenden Organisationen und der Metadaten der Versionen berücksichtigt werden, um die Kompetenz der Organisation und die Designentscheidungen zu schützen. Einige existierende Ansätze integrieren einen Server, um die Zugangskontrolle und Autorisierung zu erleichtern und eine feingranulare Verschlüsselung der gemeinsam genutzten Assets und den Schutz des geistigen Eigentums zu bieten. Andere Ansätze integrieren Verschlüsselungsmechanismen in die bestehenden Versionskontrollsysteme, z. B. Git. Für die Zugriffskontrolle nutzen wir jedoch keinen Server und schützen das geistige Eigentum und zusätzlich die Metadaten. Das Thema dieser Arbeit konzentriert sich auf die Vertraulichkeit und Integrität der Modellversionen und ihrer Metadaten. Wir definieren Deltachain, die wir aus Blockchain motivieren. Jedes Element einer Deltachain ist mit einem Vorgänger verknüpft, wodurch eine Kette entsteht. Die Elemente von Deltachain bestehen aus verschlüsselten Modelländerungen mit den entsprechenden Metadaten, um die Vertraulichkeit zu gewährleisten. Darüber hinaus kapselt jedes Element von Deltachain den Hash-Wert der Modelländerung und der Metadaten ein, um die Integrität zu gewährleisten. Wir verwenden den Advanced Encryption Standard für die Verschlüsselung und SHA für das Hashing der Versionen. Um Modelländerungen zwischen zwei Versionen eines Modells zu erkennen, verwenden wir die Vitruv-Tools. Für die Definition des Metamodells und die Implementierung der Deltachain verwenden wir das Eclipse Modeling Framework. Wir evaluieren unseren Ansatz unter den Aspekten der Funktionalität, um die erwartete Leistung von Deltachain zu bestätigen, der Skalierbarkeit, um die Auswirkungen der zunehmenden Versionen und Modelle auf Deltachain zu untersuchen, und der Leistung, um Deltachain mit EMFCompare zu vergleichen. Für die Bewertungsklassen Skalierbarkeit und Leistung finden wir drei Open-Source-Modellierungsprojekte auf GitHub.

Vortragende(r)	Thorben Willimek
Titel	Definition einer Referenzarchitektur für organisationsübergreifende Zusammenarbeit in modellbasierten Entwicklungsprozessen zur Wahrung des geistigen Eigentums
Vortragstyp	Bachelorarbeit
Betreuer(in)	Thomas Weber
Vortragsmodus	in Präsenz
Kurzfassung	Entwicklungsprozesse von komplexen, softwareintensiven Systemen sind heutzutage von organisationsübergreifender Zusammenarbeit geprägt. Organisationen teilen verschiedene Artefakte miteinander und leisten darauf aufbauend ihren Beitrag zur Systementwicklung. Die Synchronisation von Änderungen an solchen geteilten Artefakten erfolgt hauptsächlich in Form von regelmäßigen, aber seltenen Meetings. Darüber hinaus enthalten die Artefakte im Allgemeinen geistiges Eigentum, das geschützt werden muss, auch vor mitwirkenden Organisationen. Wir entwerfen eine Referenzarchitektur, die einen konstanten Datenfluss beim organisationsübergreifenden Austausch von Artefakten unter Schutz des geistigen Eigentums ermöglicht.

Vortragende(r)	Katrin Quellmalz
Titel	Erzeugung von Verschlüsselungsregeln auf Modelländerungen aus Zugriffskontrollregeln auf Modellelementen
Vortragstyp	Masterarbeit
Betreuer(in)	Thomas Weber
Vortragsmodus	in Präsenz
Kurzfassung	In der Softwareentwicklung werden häufig Modelle genutzt. Bei einer Zusammenarbeit an diesen Modellen werden Zugriffskontrollsysteme eingesetzt, um die darin enthaltenen Daten vor unbefugtem Zugriff zu schützen. Aktuell genutzte Ansätze benötigen dafür entweder eine zentrale Zugriffskontrolle, der alle Beteiligten vertrauen müssen, oder sind nur für einen bestimmten Typ Modell nutzbar. Daher befassen wir uns in dieser Arbeit mit der Problemstellung, verschiedene Arten von Modellen ohne eine zentrale Zugriffskontrolle zu teilen. Wir stellen ein Konzept zur Ableitung von Verschlüsselungsregeln aus den Regeln einer Rollenbasierten Zugriffskontrolle, die auf Modellelemente definiert sind, vor. Durch Nutzung von symmetrischer Verschlüsselung und Digitaler Signaturen können Lese- und Schreibrechte ohne einen zentralen Server zur Zugriffskontrolle umgesetzt werden. Modelle werden in unserem Ansatz als Delta Chain und somit als Abfolge von einzelnen Modelländerungen dargestellt, wodurch unser Ansatz für verschiedene Arten von Modellen funktioniert. Die Verschlüsselungsregeln werden auf die einzelnen Modelländerungen angewendet. Zusätzlich haben wir das Konzept prototypisch implementiert. Unsere Implementierung haben wir ausführlich evaluiert. Durch eine funktionale Analyse anhand von Software-Tests konnten wir die Funktionalität unseres Ansatzes zeigen. Eine zusätzlich durchgeführte empirische Evaluation bestätigt diese Aussage, zeigt aber auch Einbußen bei Laufzeit und benötigtem Speicherplatz, die durch die Verschlüsselung in Kauf genommen werden müssen. Die für die empirische Evaluation benötigten realitätsnahen Fallstudien haben wir aus Github-Projekten abgeleitet.

Freitag, 7. Juni 2024, 11:30 Uhr

iCal (Download)
Ort: Raum 333 (Gebäude 50.34)

Vortragende(r)	Dieu Lam Vo
Titel	Analyzing Efficiency of High-Performance Applications
Vortragstyp	Bachelorarbeit
Betreuer(in)	Larissa Schmid
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Vortragende(r)	Daniel Scheerer
Titel	Analyzing Scientific Workflow Management Systems
Vortragstyp	Bachelorarbeit
Betreuer(in)	Larissa Schmid
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Freitag, 14. Juni 2024, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

Vortragende(r)	Alina Valta
Titel	Optimierung des Migrationsverfahrens in modellbasierten E/E-Entwicklungswerkzeugen durch bedarfsorientierte Prozessierung der Historie von Bestandsmodellen
Vortragstyp	Masterarbeit
Betreuer(in)	Erik Burger
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Vortragende(r)	Julian Roßkothen
Titel	Source-Target-Mapping von komplexen Relationen in Modell-zu-Modell-Transformationen
Vortragstyp	Masterarbeit
Betreuer(in)	Erik Burger
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Freitag, 21. Juni 2024, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

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	Kurzfassung

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

Freitag, 19. Juli 2024, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: https://sdq.kastel.kit.edu/institutsseminar/Microsoft_Teams

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, 11:30 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

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