Supervised Bachelor Theses, Master Theses and Diploma Theses
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
University of Magdeburg, Germany
Januar 2013
Synchronisierung von Software-Varianten mit VariantSync
Master
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
University of Magdeburg, Germany
Oktober 2012
Contract-Aware Feature Composition
Bachelor
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
University of Magdeburg, Germany
Oktober 2012
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master
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
University of Magdeburg, Germany
September 2012
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master
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
University of Magdeburg, Germany
Juli 2012
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master
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
172.
Schlecht,
Tobias
Formalisierung der Transformationen von UML2 Klassen- und Verhaltensmodellen in Java Code
Diplomarbeit
Universität Ulm
Mai 2012
Formalisierung der Transformationen von UML2 Klassen- und Verhaltensmodellen in Java Code
Diplomarbeit
Universität Ulm
Mai 2012
171.
Schröter,
Reimar
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master
University of Magdeburg, Germany
April 2012
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master
University of Magdeburg, Germany
April 2012
| Datei: | 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
University of Magdeburg, Germany
Februar 2012
A Program Slicing Approach to Feature Identification in Legacy C Code
Master
University of Magdeburg, Germany
Februar 2012
| Datei: | 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
Dezember 2011
Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
Diplomarbeit
Universität Ulm
Dezember 2011