|
|
- Bühler, Stefan: Entwicklung und Implementierung eines nebenläufigen Contraint-Solver für die Points-To-Analyse, Student Thesis No. 2330, 2011.
- Cetin, Tuelay: Statische Analyse von GUI-Programmen, Student Thesis No. 2059, 2006.
- Festi, Florian: Einbindung einer Skriptsprache für Gravis, Student Thesis No. 1879, 2003.
- Klenk, Sebastian: Erfassung und Modellierung eines Prozesses mit DPM, Student Thesis No. 1995, 2005.
- Müller, Markus: Konzeption und Generierung eines RFG für COBOL, Student Thesis No. 1915, 2004.
- Müller, Martin: Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML, Student Thesis No. 1968, 2005.
- Reuß, Andreas: Algorithmen zur Berechnung von Kontrollabhängigkeiten, Student Thesis No. 2122, 2007.
- Stach, Christoph: Schwierigkeiten für statische Programmanalysen in der Praxis, Student Thesis No. 2108, 2007.
- Zschiesche, Jannik: Paradigmenübergreifende Quelltexttransformation von Haskell nach Ruby, Student Thesis No. 2420, 2013.
|
|