Supervised Bachelor Theses, Master Theses and Diploma Theses

2014

214.
Proksch, Florian; Krüger, Stefan
Tool Support for Contracts in FeatureIDE
Project Thesis
University of Magdeburg, Germany
April 2014
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/PK14.pdf
213.
Praast, Matthias
Effiziente Kodierung von Variabilität in Spezifikationen
Master's Thesis
University of Magdeburg, Germany
March 2014
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisPraast14.pdf
212.
Frank, Sandra
Anwendung und Analyse einer zielorientierten Vorgehensweise im Requirements Engineering
Bachelorarbeit
Universität Ulm
January 2014
211.
Nogatz, Falco
From XML Schema to JSON Schema - Comparison and Translation with Constraint Handling Rules
Bachelorarbeit
Universität Ulm
January 2014
210.
Grünberg, Vincent
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
January 2014
209.
Grünberg, Vincent
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
January 2014
208.
Kozlowski, Olaf
WebASM: Webplattform zur kooperativen Nutzung von CoreASM
Bachelorarbeit
Universität Ulm
January 2014

2013

207.
Bloier, Benjamin
Bottom-Up-Parsergenerator: Entwicklung und Implementierung für ELR(1)-Grammatiken
Diplomarbeit
Universität Ulm
October 2013
206.
Gall, Daniel
A Rule-Based Implementation of ACT-R Using Constraint Rules
Masterarbeit
Universität Ulm
September 2013
205.
Rau, Matthias
Die Entwicklung eines Eclipse Plug-ins für CHR
Bachelorarbeit
Universität Ulm
September 2013
204.
Yildiz, Ferhat
Grafisches Konzept zur Bewertung von Funktionsausgaben in einer Systemsimulation
Bachelorarbeit
Universität Ulm
September 2013
203.
Sperling, Heinrich
Verwaltung von Anforderungen in agilen Projekten
Bachelorarbeit
Universität Ulm
September 2013
202.
Weigelt, Andre
Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung
Bachelor's Thesis
University of Magdeburg, Germany
August 2013
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisWeigelt13.pdf
201.
Broneske, David
On the Impact of Hardware on Relational Join Processing
Master's Thesis
University of Magdeburg, Germany
August 2013
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBroneske13.pdf
200.
Kramer, Harry
Entwurf und Umsetzung einer webbasierten Benutzeroberfläche für ein Planspiel zum Management von Softwareprojekten
Bachelorarbeit
Universität Ulm
July 2013
199.
Pfeiffer, Kerstin
Analyse des ASYS Vorgehensmodells dessen Vergleich mit dem V-Modell anhand der Anwendung von Projektmanagementmethoden in einem realem Industrieprojekt
Masterarbeit
Universität Ulm
June 2013
198.
Rehm, Waldemar
A Study on Applying the Cumulative Function Method as an Optimization Pass within the LLVM Framework
Bachelorarbeit
Universität Ulm
May 2013
197.
Bild, Raffael
Automated Recursion Removal - A Study on Applying the Cumulative Function Method as an Optimization Pass within the LLVM Framework
Diplomarbeit
Universität Ulm
May 2013
196.
Meinicke, Jens
JML-Based Verification for Feature-Oriented Programming
Bachelor's Thesis
University of Magdeburg, Germany
May 2013
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMeinicke13.pdf
195.
Baier, Uwe
Operator-Präzedenz-Parsing
Bachelorarbeit
Universität Ulm
May 2013
194.
Brückner, Adrian
Entwurf und Implementierung eines generischen Online Diagrammeditorframeworks
Bachelorarbeit
Universität Ulm
April 2013
193.
Meyer, Niklas
Konzeption einer Simulationssoftware zur 3D Strukturerzeugung und Topographieanalyse
Bachelorarbeit
Universität Ulm
April 2013
192.
Will, Pascal
Ontologiegenerierung aus natürlichsprachlichen Anforderungsdokumenten für den Einsatz in einem themenbasierten Reviewprozess
Diplomarbeit
Universität Ulm
April 2013
191.
Lüdeke, Mirco
Neukonzeption und Reimplementierung eines grafischen Editors für UML2 Aktivitätsdiagramme in Eclipse
Zulassungsarbeit
Universität Ulm
March 2013
190.
Kögel, Stefan
Design und Implementierung einer imperativen Sprache für eine stark eingeschränkte virtuelle CPU
Bachelorarbeit
Universität Ulm
January 2013