Nachfolgend eine Liste der von mir (mit-)betreuten Veranstaltungen und Arbeiten.

Projektpraktika

Abgeschlossen:

  • Java-Metriken (basierend auf JaML 1.0)
  • Wespa (1.0):
    • Wespa-Server
    • Wespa-Studenten-Client
    • Wespa-Dozenten-Client (2x)
  • Wespa2-Core
  • EVE (Darstellung und Layout von XML-Dateien mit SVG)

Ideen für Praktika:

  • Spezifikations Tests auf Basis von JaML
  • Formale Tests auf Basis von JaML
  • Call-Graph-Visualisierung (mit SVG) (auf Basis von GAST)
  • Mustererkennung (auf Basis von GAST)
  • Jackpot
  • filib (Erweiterung und Test)

Studienarbeiten

Abgeschlossen:

  • XJet
    Eine XML-Darstellung zur Spezifikation von Aufgaben und Tests von Programmieraufgaben.
  • JCouling
    Berechnung von Kopplungsmetriken
  • Schema2Form
    Automatische Laufzeiterzeugung von Swing-Eingabemasken aus XML-Schemata

Diplomarbeiten

Abgeschlossen:

  • Thomas Renner: Jatest - Korrektheitstest für Ereignisgesteuerte Java Programme (Okt. 2002)
  • Vera Wahler: Erkennung von Klonen in Java-Programmen mit Data-Mining-Techniken (Jan. 2004)
  • Florian Grupp: Entwurf eines Workflow Systems zur Kontrolle von Java Programmieraufgaben (Aug. 2004)
  • Jakob Schmidt: JaML 5.0 (Juni 2005)
  • Ilona Stumm: Überdeckungstests von Tests (Okt. 2005)
  • Dominik Glaser: Automatische Einbindung von existierenden COM-Komponenten in Eclipse (März 2006)
  • Roland Benning: Lehrmanagement-System auf Basis von J2EE und Portlets (Mai 2006)
  • Stefan Siegel: Analyse von Pufferüberlauf am ausführbaren Programmcode (Aug. 2006)
  • Joachim Lusiardi: Ein Metamodell für abstrakte Syntaxbäume zum Einsatz in der Software Modernisierung (Sept. 2006)
  • Alexander Pasztor: Widget-Generierung (Okt. 2006)
  • Tobias Wernsdorfer: Generierung von visuellen XML-Editoren aus Schemata (Dez. 2006)
  • Per Pascal Grube: Transformation eines UML Klassendiagramms in einen abstrakten Syntaxbaum (Juni 2007)
  • Markus Hepp: Abstrakte Syntaxbäume zur Sprachtransformation mit Javascript  (Okt. 2007)

In Bearbeitung:

  • Andreas Schleicher: Musterlösungsvergleich (Jan. 2008)
  • Katja Rommel: Plagiattests bei Java Programmen mit Hilfe von Metriken (April 2008)
  • Min Lei: Transformation zwischen C# und Java (April 2008)
  • Yang Chen: Transformation zwischen C++ und Java ()
  • Q. Wang: Erweiterter Struktur-Test von Java Programmen ()
  • Shen Li: Sprachenunspezifische Programmanalyse ()

 

Ideen:

  • Software-Analyse:
    • Sprachenübergreifende Programmanalyse
    • Sprachanalyse und -transformation:
      • C++
      • C#
      • Python
  • Software-Qualität:
    • ...
  • Layout:
    • Genetische Algorithmen zum Layout von UML-Klassendiagrammen
      Crossover
    • Relevanz von Layout-Metriken für die Layout-Qualität
  • Klone:
    • Klonerkennung und Aspekt-Mining auf einer XML-Darstellung
      Typ 3 Klone
  • XML:
    • Strukturierter Vergleich von XML Dokumenten