 |
|
- Benz, Axel: Spezifikation eines Grapheneditors, Studienarbeit Nr. 1584, 1996.
- 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.
- Eisenbarth, Thomas: GropiusSE. Eine Resource Flow Graph Bibliothek in Ada95 fuer das Speichern und Aufbereiten von Reengineeringinformationen, Studienarbeit Nr. 1663, 1998.
- Festi, Florian: Einbindung einer Skriptsprache für Gravis, Studienarbeit Nr. 1879, 2003.
- Gerstl, Peter: Ein Prolog-Übersetzer, Studienarbeit Nr. 655, 1987.
- 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.
- Rohrbach, Juergen: Erweiterung und Generierung einer Zwischendarstellung fuer C-Programme, Studienarbeit Nr. 1662, 1998.
- Schemainda, Christoph: Implementierung eines Earley-Parsergenerators, Studienarbeit Nr. 1679, 1998.
- Schlenker, Thomas: Entwicklung eines C-Front-Ends, Studienarbeit Nr. 1599, 1997.
- Stach, Christoph: Schwierigkeiten für statische Programmanalysen in der Praxis, Studienarbeit Nr. 2108, 2007.
- Würthner, Martin: Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen, Studienarbeit Nr. 1567, 1996.
- Zschiesche, Jannik: Paradigmenübergreifende Quelltexttransformation von Haskell nach Ruby, Studienarbeit Nr. 2420, 2013.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum