Supervised Bachelor Theses, Master Theses and Diploma Theses
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
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
JML-Based Verification for Feature-Oriented Programming
Bachelor's Thesis
University of Magdeburg, Germany
Mai 2013
| Datei: |  https://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
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
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
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
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
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
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
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
University of Magdeburg, Germany
Januar 2013
| Datei: | https://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
Ü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
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
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
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
Contract-Aware Feature Composition
Bachelor's Thesis
University of Magdeburg, Germany
Oktober 2012
| Datei: | https://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
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master's Thesis
University of Magdeburg, Germany
Oktober 2012
| Datei: | https://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
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
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master's Thesis
University of Magdeburg, Germany
September 2012
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeterIvonne12.pdf |
180.
Vöhringer,
Sascha
Visualisierung von kategorisierten Anforderungsdokumenten unter Usability Aspekten zur Unterstützung eines Reviewprozessen
Diplomarbeit
Universität Ulm
August 2012
Visualisierung von kategorisierten Anforderungsdokumenten unter Usability Aspekten zur Unterstützung eines Reviewprozessen
Diplomarbeit
Universität Ulm
August 2012
179.
Ayman,
Sharif
A Clustering-based Approach to Summarizing Google Search Results using CHR
Bachelorarbeit
Universität Ulm
Juli 2012
A Clustering-based Approach to Summarizing Google Search Results using CHR
Bachelorarbeit
Universität Ulm
Juli 2012
178.
Said,
Mostafa Ali
Animation of Mathematical and Graph-based Algorithms expressed in CHR
Bachelorarbeit
Universität Ulm
Juli 2012
Animation of Mathematical and Graph-based Algorithms expressed in CHR
Bachelorarbeit
Universität Ulm
Juli 2012
177.
El Bolock,
Alia
CHR Solver for Binomial Bivariate Polynomial Equation Systems
Bachelorarbeit
Universität Ulm
Juli 2012
CHR Solver for Binomial Bivariate Polynomial Equation Systems
Bachelorarbeit
Universität Ulm
Juli 2012
176.
Saleh,
Aly
CHR-based Text Mining and Classification of Google Search Results
Bachelorarbeit
Universität Ulm
Juli 2012
CHR-based Text Mining and Classification of Google Search Results
Bachelorarbeit
Universität Ulm
Juli 2012
175.
Holthusen,
Sönke
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
University of Magdeburg, Germany
Juli 2012
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
University of Magdeburg, Germany
Juli 2012
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHolthusen.pdf |
174.
Ismail,
Arwa
Visualization of Grid-based and Fundamental CHR Algorithms
Bachelorarbeit
Universität Ulm
Juli 2012
Visualization of Grid-based and Fundamental CHR Algorithms
Bachelorarbeit
Universität Ulm
Juli 2012
173.
Weiskopf,
Marco
Konzeption und prototypische Umsetzung eines Konfiguations-Assistenten für Anforderungsdokumente
Masterarbeit
Universität Ulm
Juni 2012
Konzeption und prototypische Umsetzung eines Konfiguations-Assistenten für Anforderungsdokumente
Masterarbeit
Universität Ulm
Juni 2012