Supervised Bachelor Theses, Master Theses and Diploma Theses

2013

203.
Rau, Matthias
Die Entwicklung eines Eclipse Plug-ins für CHR
Bachelorarbeit
Universität Ulm
September 2013
202.
Broneske, David
On the Impact of Hardware on Relational Join Processing
Master
University of Magdeburg, Germany
August 2013
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBroneske13.pdf
201.
Weigelt, Andre
Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung
Bachelor
University of Magdeburg, Germany
August 2013
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisWeigelt13.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.
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
197.
Meinicke, Jens
JML-Based Verification for Feature-Oriented Programming
Bachelor
University of Magdeburg, Germany
Mai 2013
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMeinicke13.pdf
196.
Rehm, Waldemar
A Study on Applying the Cumulative Function Method as an Optimization Pass within the LLVM Framework
Bachelorarbeit
Universität Ulm
Mai 2013
195.
Baier, Uwe
Operator-Präzedenz-Parsing
Bachelorarbeit
Universität Ulm
Mai 2013
194.
Meyer, Niklas
Konzeption einer Simulationssoftware zur 3D Strukturerzeugung und Topographieanalyse
Bachelorarbeit
Universität Ulm
April 2013
193.
Brückner, Adrian
Entwurf und Implementierung eines generischen Online Diagrammeditorframeworks
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.
Seibold, Bernhard
Übersicht über existierende Methoden, Techniken und Werkzeuge zu besserem Codeverständnis und prototypische Implementierung einer Beispielkomponente
Diplomarbeit
Universität Ulm
Januar 2013
189.
Luo, Lei
Synchronisierung von Software-Varianten mit VariantSync
Master
University of Magdeburg, Germany
Januar 2013
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisLuo.pdf
188.
Kögel, Stefan
Design und Implementierung einer imperativen Sprache für eine stark eingeschränkte virtuelle CPU
Bachelorarbeit
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.
Ari, Mehtap
Rechnergestützte Simulation von Softwareentwicklungsprozessen im Kontext eines Planspiels
Diplomarbeit
Universität Ulm
November 2012
185.
Müller, Markus
Entwicklung eines Editors für CoreASM - Redesign nach SE-Methode
Diplomarbeit
Universität Ulm
November 2012
184.
Benduhn, Fabian
Contract-Aware Feature Composition
Bachelor
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
University of Magdeburg, Germany
Oktober 2012
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/12/thesisLueddecke.pdf
182.
Schröter, Ivonne
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master
University of Magdeburg, Germany
September 2012
Datei:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeterIvonne12.pdf
181.
Reichle, Hans-Jörg
Formale Spezifikation von Widgets und Generierung eines Testmodells
Diplomarbeit
Universität Ulm
September 2012
180.
Vöhringer, Sascha
Visualisierung von kategorisierten Anforderungsdokumenten unter Usability Aspekten zur Unterstützung eines Reviewprozessen
Diplomarbeit
Universität Ulm
August 2012
179.
Saleh, Aly
CHR-based Text Mining and Classification of Google Search Results
Bachelorarbeit
Universität Ulm
Juli 2012