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