(Lambda x . x) y = y

Abgeschlossene

Wintersemester 15/16

  • Christopher Zell: "Entwicklung einer Methode und Werkzeugunterstützung für die Analyse, Bewertung und Optimierung von Vererbungsstrukturen in objektorientierten Softwaresystemen" (Master)

  • Tay Phuong Ho: „Weiterentwicklung eines in Haskell implementierten Compilers für eine erweiterte WHILE-Sprache" (Bachelor)

Sommersemester 15

  • Daniel Jentsch: „Entwurf einer Auszeichnungs-DSEL" (Bachelor)

  • Hofmann, Christian: „Entwicklung eines effizienten Lexers für die Sprache Rail in Haskell" (Bachelor)

  • Jan Michael Scheppat: „Der Zusammenhang und gegenseitige Nutzen von Informatik und Philosophie am Beispiel des Diskurses zu freier Software - Eine Analyse des GNU-Manifest und ein Beispiel für computergestütztes argumentieren" (Master)

  • Kevin Funk: Conception and Implementation of a Reusable Component for Visualizing and Designing State Charts for Model-Based Programming“ (Master)

Wintersemester 14/15

  • Mahmoud Zoabi: „Ein effizientes Verfahren für ein interaktives Sudoku-Spiel und seine Implementierung in Java" (Bachelor)

  • Florian Freudenberg: „Funktionalitätsbasierte UI-Generierung - Jenseits von Scaffolding" (Master)

  • Jan Leschik: „Beseitigung der Nutzung von Cygwin beim Windows-basierten Bau von RPM4-Paketen für eine Java-Applikation mit Zielplatform Linux" (Bachelor)

  • Johannes Sauer: „Bisimilarität im Sigma-Kalkül" (Bachelor)

  • Jonas Cleve: „Implementierung eines Compilers für die WHILE-Sprache in Haskell" (Bachelor)

Sommersemester 14

  • Nikolaj Troels Graf von Malotky: „Formale Semantik der Programmiersprache C - ein praktischer Einstieg" (Master)

Wintersemester 13/14

  • Khaled Isa: „Moderne Datenstrukturen und Konzepte der Nichtsequentiellen Programmierung in Google Go" (Bachelor)

  • Christoph Husse: „Übersetzen einer universellen Teilmenge von C#5 nach C++11" (Bachelor)

  • Julian Fleischer: „Bridging the Gap between Haskell and Java" (Bachelor)

  • Florian Eitel: „Formal specification of game state machines for automated code generation" (Master)

Sommersemester 13

  • Maximilian Claus: „Reine Funktionale Reaktive Programmierung: Über eine algebraische Lö-sung des Ein-/Ausgabeproblems funktionaler Sprachen" (Bachelor)

  • Eike Cochu: „Top-Down-Übersetzung einer objektorientierten Programmiersprache unter besonderer Berücksichtigung der Fehlerbehandlung" (Bachelor)

  • Ralf Kuschel: "Desktopvirtualisierung   durch Terminalserver" (Bachelor)

  • Robin Pradel: "Interaktive Prozsssimulation mit agentenbasierter Ausfallregulierung" (Master)

  • Ahmad Reza Nosrati: „Realisierung einer Schnittstelle zwischen Digitalstift-basierten Lö-sungen und anderen Softwarelösungen" (Diplom)

Wintersemester 12/13

  • Anja Würzburg: „Generische Modellierung von Programmen unter Verwendung poly-typischer Funktionen" (Diplom)

  • Igor Merkulow: „Parameter selection and evaluation for programming of heterogeneous architectures“ (Master)

  • Qian Zhao: „Online Accounting in Flex" (Bachelor)

  • Yvonne Säwert: „Auf den Spuren von Dijkstra“  (Bachelor-Lehramt)
  • Johannes Dahlke: „Entwicklung und Implementierung einer graphischen Benutzeroberfläche für die Lehrsprache Pascal-FC“ (Bachelor)
  • Borys Korkhov: „Entwicklung und prototypische Umsetzung einer automatischen Konsistenzsicherung für das Enterprise Architecture Management System der Deutschen Bahn" (Diplom)

Sommersemester 12

  • Robin Pradel: "Interaktive Prozsssimulation mit agentenbasierter Ausfallregulierung" (Master)
  • Nicole Lipprandt: „Implementierung einer Datenimportschnittstelle für die K&C GmbH mit Hilfe der Schnittstellenbeschreibung des Axel Springer Verlags und der Frankfurter Allgemeinen Zeitung" (Diplom)

  • Ergün Cimen: „Implementierung einer Datenexportschnittstelle für die K&C GmbH mit Hilfe der Schnittstellenbeschreibung des Axel Springer Verlags und der Frankfurter Allgemeinen Zeitung" (Diplom)

Wintersemester 11/12

  • Ansgar Schneider: "Ein erweiterbarer Interpreter für das б-Kalkül" (Master)
  • Denis Drescher: "A System to Create n-Gram Corpora of Online Content" (Bachelor)
  • Özgür Ahmet Gencaslan: "Automatisiertes Bewertungssystem für Telefongespräche in Callcentern" (Diplom)
  • René Kijewski: "Entwicklung und Implementierung eines Compilers von ECMAScript nach Erlang" (Bachelor)

Sommersemester 11

  • Ali Al-Dabab: "Entwurf eines IT-Versorgungssystems für eine Hochschule in Jemen" (Diplom)
  • Andreas Schultz: "R2R Framework – Integration von RDF Daten im Web basierend auf im Web veröffentlichten Vokabular Mappings" (Diplom)

Wintersemester 10/11

  • Dominik Neunkirchen: "Konzept und Design des Internetportals BolognaLife" (Master)
  • B. Kirchhoff: „Validierung von offenen Formaten für Büroanwendungen” (Diplom)
  • Christoph Sackl: "Office Automation mit Excel und PowerPoint" (Bachelor)

Sommersemester 10

  • Andreas Nüßlein: "Nepal Project - An Open Source Web-based Control Panel for Shared Hosting Management Infrastructure"
  • Andreas Schultz: "R2R Framework - Integration von RDF Daten im Web basierend auf im Web veröffentlichten Vokabular Mappings (Diplom)
  • Christobal Vergara Niedermayr: "Semantic Integration of xService for the Creation of caBIG compatible XML Data Services (Diplom)
  • Michael Beckmann: "Klassifikation von elektroenzephalographischen Daten in Oddball- und Gedächtnisdaten" (Master)
  • Lilit Hakobyan: "Generierung eines Interpreters für das Sigma-Kalkül" (Diplom)
  • Halim Albayrak: "Pluginbasierte Benutzerschnittstelle zur Datenvisualisierung und Steuerung von Sensornetzwerken" (Diplom)

Wintersemester 09/10

  • Max Bureck: "Entwicklung eines visuellen modellgetriebenen Transformationsframeworks für QVT" (Diplom)
  • Keis Husein: "SaaS als Alternative zu traditionellen IS in Unternehmen" (Diplom)

Sommersemester 09

  • Falko Hoffmann: "Entwicklung eines webbasierten Frameworks für Scatterweb-MSBs"  (Diplom)
  • Adrian Neumann: "Programmieren im Kranich-Stil" (Bachelor)
  • Hanno Bunjes: "Entwurf und Implementierung einer XML-basierten, deklarativen Beschreibungssprache für browserbasierte Bedienoberflächen" (Diplom)
  • Michael Peick: "Entwicklung eines modellgetriebenen OCL basierten Abstraktionsframework für ScatterWeb" (Diplom)
  • Christopher Taylor: "Implementierung erweiterter ZF-Ausdrücke in Clojure" (Diplom)
  • Thomas Reimann: "End-User Development of Web-Applications" (Diplom)
  • Maya Häußler: "Java basierter Texteditor für Dokumente in SAP" (Bachelor)
  • David Dekanosidze: "Entwicklung eines generischen Eclipse-basierten Rahmenwerks für die ScatterWeb-MSBs" (Bachelor)

Wintersemester 08/09

  • Doreen Rosenthal: "Entwurf und Implementierung von Softwarekomponenten für die symbolische und subsymbolische Textanalyse" (Bachelor, Lehramt)
  • Philipp Cordes: "Automatisierte Generierung von deklarativen Frameworks – Modellgetriebene Realisierung von Fluent Interfaces –" (Bachelor)
  • Ayse Inanc: "IT-Governance für SOA - Management der Einführung einer SOA" (Diplom)
  • Jan Christopher Merkel: "Entwurf und Implementierung eines architekturzentrierten modellgetriebenen Eclipse-Frameworks für Java EE 5 Anwendungen" (Diplom)
  • Michael Peick: "Entwicklung eines modellgetriebenen OCL basierten Abstraktionsframework für ScatterWeb" (Diplom)
  • Stephanie Wilke: "Prozessbewertung und -verbesserung nach ITILim Kontext des betrieblichen Informationsmanagement" (Diplom)
  • Christopher Merkel: "Entwurf und Implementierung eines architekturzentrierten modellgetriebenen Eclipse-Frameworks für Java EE 5 Anwendungen" (Diplom)
  • Min Zhou: "Entwicklung eines Eclipse Plugins zur datenbasierten Verwaltung von ScatterWeb-Netzen” (Diplom)

Sommersemester 08

  • Martin Dittmar: "Entwicklung eines generativen UML-Roundtrip-Tools für Python" (Diplom)
  • Jirk Stolze: "Performancetests und Bottleneck-Analyse in Multischichtarchitekturen" (Diplom)

Wintersemester 07/08

  • Julius Dannert: "Implementierung eines Reduktionsystems für den ungetypten R-Kalkül in Java" (Bachelor)
  • Seyed Mousavi: "Berechnung der Zerspankraftkomponenten beim Wälzfräsen" (Bachelor)
  • Jintao Ding: "Entwicklung einer Eclipse-Konsole für ScatterWeb" (Diplom)
  • Abid Hussain: "Entwicklung eines Eclipse-integrierten Web Services für ScatterWeb" (Diplom)