Supervised Bachelor Theses, Master Theses and Diploma Theses
2014
233.
Krüger,
Stefan
Product-Line Verification with Abstract Contracts
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
Product-Line Verification with Abstract Contracts
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
| Datei: |  https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/K14.pdf |
232.
Brenner,
Christian
Konzeption und Entwicklung einer flexiblen Softwarearchitektur zur pototypischen Umsetzung einer Unterstützung von Stimmungsanalysen in sozialen Netzwerken
Bachelorarbeit
Universität Ulm
Dezember 2014
Konzeption und Entwicklung einer flexiblen Softwarearchitektur zur pototypischen Umsetzung einer Unterstützung von Stimmungsanalysen in sozialen Netzwerken
Bachelorarbeit
Universität Ulm
Dezember 2014
231.
Meinicke,
Jens
VarexJ: A Variability-Aware Interpreter for Java Applications
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
VarexJ: A Variability-Aware Interpreter for Java Applications
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/M14.pdf |
230.
El Bolock,
Alia
Automatic Poetry Generation Using CHR
Masterarbeit
GUC
Dezember 2014
Automatic Poetry Generation Using CHR
Masterarbeit
GUC
Dezember 2014
229.
Jäckel,
David
A Framework to Predict and Assess Software Stability on Android devices
Masterarbeit
Universität Ulm
Dezember 2014
A Framework to Predict and Assess Software Stability on Android devices
Masterarbeit
Universität Ulm
Dezember 2014
228.
Wolf,
Christian
Special Tool Support for Functional Programming
Masterarbeit
Universität Ulm
November 2014
Special Tool Support for Functional Programming
Masterarbeit
Universität Ulm
November 2014
227.
Hunger,
Christian
Visualambda - Entwicklung eines Werzeugs zur Visualisierung, Manipulation und Auswertung von Lambda-Termen
Bachelorarbeit
Universität Ulm
Oktober 2014
Visualambda - Entwicklung eines Werzeugs zur Visualisierung, Manipulation und Auswertung von Lambda-Termen
Bachelorarbeit
Universität Ulm
Oktober 2014
226.
Schindele,
Benjamin
Prüfprogramm für die Überwachung de Codequalität (Arbeitstitel
Bachelorarbeit
Universität Ulm
Oktober 2014
Prüfprogramm für die Überwachung de Codequalität (Arbeitstitel
Bachelorarbeit
Universität Ulm
Oktober 2014
225.
van Onzenoodt,
Christian
Konzeption und Implementierung eines Onlineeditors zur verteilten Dokumenterstellung mit Kommentarfunktion
Bachelorarbeit
Universität Ulm
Oktober 2014
Konzeption und Implementierung eines Onlineeditors zur verteilten Dokumenterstellung mit Kommentarfunktion
Bachelorarbeit
Universität Ulm
Oktober 2014
224.
Brenner,
Markus
ASMc - ein durch Plugins erweiterbarer Compiler für Abstract State Machines
Masterarbeit
Universität Ulm
Oktober 2014
ASMc - ein durch Plugins erweiterbarer Compiler für Abstract State Machines
Masterarbeit
Universität Ulm
Oktober 2014
223.
Mak,
Matthias
Automatisierung von Performancetests
Bachelorarbeit
Universität Ulm
September 2014
Automatisierung von Performancetests
Bachelorarbeit
Universität Ulm
September 2014
222.
Sachchithananthan,
Rathes
Entwicklung von Anforderungen aus Zielen anhand einer realen Problemstellung (Arbeitstitel)
Bachelorarbeit
Universität Ulm
September 2014
Entwicklung von Anforderungen aus Zielen anhand einer realen Problemstellung (Arbeitstitel)
Bachelorarbeit
Universität Ulm
September 2014
221.
Csunderlik,
Larissa
Statische Überprüfung von textuellen Angaben in Aktivitätsdiagrammen
Bachelorarbeit
Universität Ulm
September 2014
Statische Überprüfung von textuellen Angaben in Aktivitätsdiagrammen
Bachelorarbeit
Universität Ulm
September 2014
220.
Kögel,
Stefan
Konzeption und prototypische Implementierung einer Bibliothek zur interaktiven Darstellung von Graphen
Masterarbeit
Universität Ulm
September 2014
Konzeption und prototypische Implementierung einer Bibliothek zur interaktiven Darstellung von Graphen
Masterarbeit
Universität Ulm
September 2014
219.
Richter,
Frank
An Analysis Tool for CHR programs
Bachelorarbeit
Universität Ulm
Juli 2014
An Analysis Tool for CHR programs
Bachelorarbeit
Universität Ulm
Juli 2014
218.
Streicher,
Philipp
Prototyp eines JavaFX Clients für ein bestehendes Datenmodell
Bachelorarbeit
Universität Ulm
Juni 2014
Prototyp eines JavaFX Clients für ein bestehendes Datenmodell
Bachelorarbeit
Universität Ulm
Juni 2014
217.
Wei,
Liu
Generierung graphischer Repräsentationen aus textuellen Spezifikationen
Masterarbeit
Universität Ulm
Juni 2014
Generierung graphischer Repräsentationen aus textuellen Spezifikationen
Masterarbeit
Universität Ulm
Juni 2014
216.
Mechelke,
Sebastian
Konzeption und Implementierung eines Echtzeitverfahrens zur nutzerintendierten Abstraktion von Quelltextveränderungen
Masterarbeit
Universität Ulm
April 2014
Konzeption und Implementierung eines Echtzeitverfahrens zur nutzerintendierten Abstraktion von Quelltextveränderungen
Masterarbeit
Universität Ulm
April 2014
215.
Benduhn,
Fabian
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
Master's Thesis
University of Magdeburg, Germany
April 2014
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
Master's Thesis
University of Magdeburg, Germany
April 2014
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBenduhn14.pdf |
214.
Proksch,
Florian;
Krüger,
Stefan
Tool Support for Contracts in FeatureIDE
Project Thesis
University of Magdeburg, Germany
April 2014
Tool Support for Contracts in FeatureIDE
Project Thesis
University of Magdeburg, Germany
April 2014
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/PK14.pdf |
213.
Praast,
Matthias
Effiziente Kodierung von Variabilität in Spezifikationen
Master's Thesis
University of Magdeburg, Germany
März 2014
Effiziente Kodierung von Variabilität in Spezifikationen
Master's Thesis
University of Magdeburg, Germany
März 2014
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisPraast14.pdf |
212.
Grünberg,
Vincent
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
Januar 2014
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
Januar 2014
211.
Grünberg,
Vincent
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
Januar 2014
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
Januar 2014
210.
Kozlowski,
Olaf
WebASM: Webplattform zur kooperativen Nutzung von CoreASM
Bachelorarbeit
Universität Ulm
Januar 2014
WebASM: Webplattform zur kooperativen Nutzung von CoreASM
Bachelorarbeit
Universität Ulm
Januar 2014
209.
Frank,
Sandra
Anwendung und Analyse einer zielorientierten Vorgehensweise im Requirements Engineering
Bachelorarbeit
Universität Ulm
Januar 2014
Anwendung und Analyse einer zielorientierten Vorgehensweise im Requirements Engineering
Bachelorarbeit
Universität Ulm
Januar 2014