Supervised Bachelor Theses, Master Theses and Diploma Theses
2013
189.
Luo,
Lei
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
University of Magdeburg, Germany
January 2013
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
University of Magdeburg, Germany
January 2013
| File: |  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
January 2013
Übersicht über existierende Methoden, Techniken und Werkzeuge zu besserem Codeverständnis und prototypische Implementierung einer Beispielkomponente
Diplomarbeit
Universität Ulm
January 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
December 2012
Methodische Hilfestellung zur systematischen Erstellung einer UML-Systemmodellierung für stark zustandsgetriebene Probleme am Beispiel eines Missile-Simulators
Masterarbeit
Universität Ulm
December 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
October 2012
Contract-Aware Feature Composition
Bachelor's Thesis
University of Magdeburg, Germany
October 2012
| File: | 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
October 2012
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master's Thesis
University of Magdeburg, Germany
October 2012
| File: | 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
| File: | 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
July 2012
A Clustering-based Approach to Summarizing Google Search Results using CHR
Bachelorarbeit
Universität Ulm
July 2012
178.
Said,
Mostafa Ali
Animation of Mathematical and Graph-based Algorithms expressed in CHR
Bachelorarbeit
Universität Ulm
July 2012
Animation of Mathematical and Graph-based Algorithms expressed in CHR
Bachelorarbeit
Universität Ulm
July 2012
177.
El Bolock,
Alia
CHR Solver for Binomial Bivariate Polynomial Equation Systems
Bachelorarbeit
Universität Ulm
July 2012
CHR Solver for Binomial Bivariate Polynomial Equation Systems
Bachelorarbeit
Universität Ulm
July 2012
176.
Saleh,
Aly
CHR-based Text Mining and Classification of Google Search Results
Bachelorarbeit
Universität Ulm
July 2012
CHR-based Text Mining and Classification of Google Search Results
Bachelorarbeit
Universität Ulm
July 2012
175.
Holthusen,
Sönke
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
University of Magdeburg, Germany
July 2012
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
University of Magdeburg, Germany
July 2012
| File: | 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
July 2012
Visualization of Grid-based and Fundamental CHR Algorithms
Bachelorarbeit
Universität Ulm
July 2012
173.
Weiskopf,
Marco
Konzeption und prototypische Umsetzung eines Konfiguations-Assistenten für Anforderungsdokumente
Masterarbeit
Universität Ulm
June 2012
Konzeption und prototypische Umsetzung eines Konfiguations-Assistenten für Anforderungsdokumente
Masterarbeit
Universität Ulm
June 2012
172.
Schlecht,
Tobias
Formalisierung der Transformationen von UML2 Klassen- und Verhaltensmodellen in Java Code
Diplomarbeit
Universität Ulm
May 2012
Formalisierung der Transformationen von UML2 Klassen- und Verhaltensmodellen in Java Code
Diplomarbeit
Universität Ulm
May 2012
171.
Schröter,
Reimar
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master's Thesis
University of Magdeburg, Germany
April 2012
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master's Thesis
University of Magdeburg, Germany
April 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeter12.pdf |
170.
Stegmaier,
Michael
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm
April 2012
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm
April 2012
169.
Haase,
Steffen
A Program Slicing Approach to Feature Identification in Legacy C Code
Master's Thesis
University of Magdeburg, Germany
February 2012
A Program Slicing Approach to Feature Identification in Legacy C Code
Master's Thesis
University of Magdeburg, Germany
February 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHaase.pdf |
2011
168.
Zgorzelski,
Alexander
Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
Diplomarbeit
Universität Ulm
December 2011
Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
Diplomarbeit
Universität Ulm
December 2011
167.
Knotz,
Dennis
Konzeption und prototypische Implementierung kommunizierender Interpreter für unterschiedliche Modellarten am Beispiel von UML-Aktivitäten und Zustandsautomaten
Diplomarbeit
Universität Ulm
November 2011
Konzeption und prototypische Implementierung kommunizierender Interpreter für unterschiedliche Modellarten am Beispiel von UML-Aktivitäten und Zustandsautomaten
Diplomarbeit
Universität Ulm
November 2011
166.
Bork,
Bernhard
Vergleich verschiedener Priorisierungsverfahren an Hand eines realen Softwareprojekts
Diplomarbeit
Universität Ulm
September 2011
Vergleich verschiedener Priorisierungsverfahren an Hand eines realen Softwareprojekts
Diplomarbeit
Universität Ulm
September 2011
165.
Rauscher,
Martin
Code Generation for distributed UML Activities
Diplomarbeit
Universität Ulm
August 2011
Code Generation for distributed UML Activities
Diplomarbeit
Universität Ulm
August 2011