Supervised Bachelor Theses, Master Theses and Diploma Theses

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
Datei: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
Datei: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
Juli 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
Juni 2013
198.
Rehm, Waldemar
A Study on Applying the Cumulative Function Method as an Optimization Pass within the LLVM Framework
Bachelorarbeit
Universität Ulm
Mai 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
Mai 2013
196.
Meinicke, Jens
JML-Based Verification for Feature-Oriented Programming
Bachelor's Thesis
University of Magdeburg, Germany
Mai 2013
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMeinicke13.pdf
195.
Baier, Uwe
Operator-Präzedenz-Parsing
Bachelorarbeit
Universität Ulm
Mai 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
März 2013
190.
Kögel, Stefan
Design und Implementierung einer imperativen Sprache für eine stark eingeschränkte virtuelle CPU
Bachelorarbeit
Universität Ulm
Januar 2013
189.
Luo, Lei
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
University of Magdeburg, Germany
Januar 2013
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisLuo.pdf
188.
Seibold, Bernhard
Übersicht über existierende Methoden, Techniken und Werkzeuge zu besserem Codeverständnis und prototypische Implementierung einer Beispielkomponente
Diplomarbeit
Universität Ulm
Januar 2013

2012

187.
Wohlfrom, Felix
Methodische Hilfestellung zur systematischen Erstellung einer UML-Systemmodellierung für stark zustandsgetriebene Probleme am Beispiel eines Missile-Simulators
Masterarbeit
Universität Ulm
Dezember 2012
186.
Müller, Markus
Entwicklung eines Editors für CoreASM - Redesign nach SE-Methode
Diplomarbeit
Universität Ulm
November 2012
185.
Ari, Mehtap
Rechnergestützte Simulation von Softwareentwicklungsprozessen im Kontext eines Planspiels
Diplomarbeit
Universität Ulm
November 2012
184.
Benduhn, Fabian
Contract-Aware Feature Composition
Bachelor's Thesis
University of Magdeburg, Germany
Oktober 2012
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBenduhn12.pdf
183.
Lüddecke, Daniel
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master's Thesis
University of Magdeburg, Germany
Oktober 2012
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/12/thesisLueddecke.pdf
182.
Reichle, Hans-Jörg
Formale Spezifikation von Widgets und Generierung eines Testmodells
Diplomarbeit
Universität Ulm
September 2012
181.
Schröter, Ivonne
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master's Thesis
University of Magdeburg, Germany
September 2012
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeterIvonne12.pdf