Sprungmarken

Servicenavigation

Fachbereich Informatik Institut für Softwaretechnik
Institut für Softwaretechnik

Forschungsgruppe
Software Engineering

Hauptnavigation


Bereichsnavigation



This site does not exist in English

Nebeninhalt

Kontakt

Universität Koblenz-Landau

Institut für Softwaretechnik

Universitätsstraße 1
D-56070 Koblenz

Materialien

Hauptinhalt

Abschlussarbeiten
(Bachelor/Master/Studienarbeiten)

Hier wollen wir einige Anregungen zu studentischen Arbeiten im Bereich unserer Forschungsthemen geben. Die Themen können jeweils auf die jeweiligen Rahmenbedingungen für Bachelor-, Studien- und Master-Arbeiten, sowie auf die speziellen Interessen der Bearbeitenden zugeschnitten werden. Die Zuordnung der einzelnen Themen zu Master- bzw. Studien-/Bachelor-Arbeiten ist deswegen auch nur als grobe Einstufung zu sehen und kann durch Kürzungen oder Erweiterungen des Themas gegebenenfalls auch angepasst werden.
Inhaltlich geht es dabei zum Beispiel um spannende Themen in den Bereichen Sicherheit, UML, Modell-basierte Entwicklung, E-Commerce, ... Gegebenfalls kann die Durchführung einer Abschlussarbeit mit der Tätigkeit im Rahmen einer Hiwi-Stelle verknüpft werden (siehe hier).

Weiterhin bestehen gute Kontakte zu Firmen, mit denen zusammen Abschlussarbeiten durchgeführt werden können.

Allgemeine Informationen zu den Themen unserer Arbeitsgruppe gibt es in der Lehrgebietsvorstellung.

Bei Interesse melden Sie sich bitte so bald wie möglich bei den angegebenen Ansprechpartnern. Bitte schicken Sie mit Ihrer Anfrage einen Lebenslauf und den bisherigen Studienverlauf inkl. aktuellem Notenspiegel.

Vorstellung offener Abschlussarbeiten

Bei Interesse an einer Teilnahme an der Vorstellung offener Abschlussarbeiten setzen Sie sich bitte mit Prof. Jan Jürjens in Verbindung.

Die Folien der letzten Abschlussarbeitenvorstellung sind hier zu finden.

Themenfelder

In den folgenden Themenfeldern können ständig Arbeiten geschrieben werden. Da die Themen sich in ständiger Weiterentwicklung befinden, sind die Ausschreibungen generisch und können auf Anfrage konkretisiert werden.

  • Spezifikation von IT-Sicherheitszielen für die Geschäftsprozessmodellierung
  • Integration von Sicherheitschecks in die Ausführung von Geschäftsprozessen
  • Formale Abbildung von regulatorischer Compliance auf Security Policies
  • Management von Compliance- und Sicherheitsanforderungen
  • Sicherheits-Risikomanagement und -bewertung
  • Werkzeuggestützte Modell-basierte Sicherheits-/Compliance-Analyse
  • Sicherheit evolutionierender Software und in evolutionierenden Softwareumgebungen
  • Sicherer Informationsfluss
  • Sicherheitsökonomische Analysen
  • (Automatisierte) Sicherheitsanalysen für Cloud Computing Umgebungen
  • Erweiterung der UMLsec Spezifikation für Sicherheitsanalysen
  • Implementierung von Analyse-Plugins in CARiSMA

Beispiele für abgeschlossene Arbeiten

Konzeption und Implementierung einer Schnittstelle zur Sicherheitsanalyse mit CARiSMA im Kontext von Serviceorientierten Architekturen (Bachelor)
Autor: Beckmann, Andreas
Beteiligt: Jürjens, Jan; Pape, Sebastian

Berechnung einer optimalen Strategie in allgemeinen Risikoanalysen mit ARA (Master)
Autor: Michel, Marcel
Beteiligt: Jürjens, Jan; Schmitz, Andreas

Erweiterung der Business Process Model and Notation für Return on Security Investment Analysen (Diplom)
Autor: Thalmann, Dominik
Beteiligt: Jürjens, Jan; Pape, Sebastian

Mehrparteien-Signaturen für elektronische Dokumente im Bereich der Telemedizin (Master)
Autor: Hartwecker, Jannic
Beteiligt: Jürjens, Jan; Deiters, Wolfgang

Entwicklung eines Eclipse-Plugins für Matlab-unterstützte Auswertungen des Return on Security Investment (Bachelor)
Autor: Schnitzler, Theodor
Beteiligt: Jürjens, Jan; Schmitz, Andreas

Anwendung von Process-Mining-Ansätzen auf Log-Daten aus SAP-Systemen (Diplom)
Autor: Blyufshteyn, Igor
Beteiligt: Jürjens, Jan; Rehof, Jakob

Formale Abbildung der regulatorischen Compliance auf Security Policies (Diplom)
Autor: Bostan, Elena-Crina
Beteiligt: Jürjens, Jan; Hirsch, Martin

Aktuelle Ausschreibungen

Current topics

Folienpräsentation der aktuellen Ausschreibungen.

Presentation of current topics.

Beispiele für Aufgabenstellungen (unvollständig):

Possible topics (incomplete):

Statische Sicherheitsanalyse von Programmen mit Java-Reflection
(Master / Bachelor) #0177

Kontakt:
M.Sc. Sven Peldszus (speldszus@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Mapping ORM 2 T-Graph
(Master) #0176

Kontakt:
M.Sc. Katharina Großer (grosser@uni-koblenz.de)
Dr. Volker Riediger (riediger@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Inkrementelle Klonerkennung für Software-Modelle
(Master / Bachelor) #0172

Kontakt:
Dr. Daniel Strüber, Dipl.-Inf. (strueber@uni-koblenz.de) çlearpage

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Spezifikation von Variabilität auf UML-Diagrammen
(Master / Bachelor) #0171

Kontakt:
M.Sc. Sven Peldszus (speldszus@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Zusammenhang zwischen Code-Qualität und Sicherheitslücken
(Master / Bachelor) #0170

Kontakt:
M.Sc. Sven Peldszus (speldszus@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Sicherheit durch Codeinstrumentierung (Master / Bachelor) #0169

Kontakt:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Securiy Assessment durch Monitoring (Master / Bachelor) #0167

Kontakt:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Sicherheitserhaltende Co-Evolutionen (Master / Bachelor) #0162

Kontakt:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Ableitung von Sicherheitsannotationen für Softwaremodelle mittels Requirements
(Master / Bachelor) #0159

Kontakt:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Entwicklung eines UMLsec-Profils zur Darstellung von Sicherheitsmaßnahmen in Cloud-Umgebungen (Bachelorarbeit) #0157

Kontakt:
Prof. Dr. Jan Jürjens (http://jan.jurjens.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Static Security-Analysis of Programs using Java-reflection
(Master / Bachelor) #0177

Contact:
M.Sc. Sven Peldszus (speldszus@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Mapping ORM 2 T-Graph
(Master) #0176

Contact:
M.Sc. Katharina Großer (grosser@uni-koblenz.de)
Dr. Volker Riediger (riediger@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Privacy-aware Systems in Industrial Ecosystems (Master) #0175

Contact:
M.Sc. Amir Shayan Ahmadian (ahmadian@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Implementation of graph-based semantic dictionary for ECSS (Master) #0174

Contact:
M.Sc. Katharina Großer (grosser@uni-koblenz.de)
Dr. Volker Riediger (riediger@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Incremental Clone Detection for Software Models
(Master / Bachelor) #0172

Contact:
Dr. Daniel Strüber, Dipl.-Inf. (strueber@uni-koblenz.de) çlearpage

[Show Abstract]  [Full description as PDF]  

Specification of Variability on UML Diagrams
(Master / Bachelor) #0171

Contact:
M.Sc. Sven Peldszus (speldszus@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Correlation between Code Quality and Vulnerability
(Master / Bachelor) #0170

Contact:
M.Sc. Sven Peldszus (speldszus@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Security through Code Instrumentation / (Master / Bachelor) #0169

Contact:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Security Assessment using Monitoring / (Master / Bachelor) #0167

Contact:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Security-preserving co-evolutions / (Master / Bachelor) #0162

Contact:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Infer Security Annotations for Software Models from Requirements /
(Master / Bachelor) #0159

Contact:
Dipl.-Inf. Jens Bürger (buerger@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Vorgemerkte Arbeiten

Reserved theses

Laufende Arbeiten

Ongoing theses

Vergleichende Bewertung von Template-Systemen für die Anforderungsdokumentation
(Master / Bachelor) #0173

Kontakt:
M.Sc. Katharina Großer (grosser@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Qualitäts-Metriken für Anforderungen
(Master / Bachelor) #0165

Kontakt:
M.Sc. Katharina Großer (grosser@uni-koblenz.de)

[Zeige Abstract]  [Vollständige Ausschreibung als PDF]  

Comparative Evaluation of Requirements Template Systems
(Master / Bachelor) #0173

Contact:
M.Sc. Katharina Großer (grosser@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]  

Quality Metrics for Requirements (Master / Bachelor) #0165

Contact:
M.Sc. Katharina Großer (grosser@uni-koblenz.de)

[Show Abstract]  [Full description as PDF]