|
|
Documents of the Institute
Articles in Proceedings- Koschke, Rainer; Canfora, Gerarde; Czeranski, Jörg: Revisiting the Delta-IC Approach. In: Journal of Science of Computer Programming 60 (2006), Nr. 2.
- Raza, Aoun; Vogel, Gunther; Plödereder, Erhard: Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. In: Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9,2006.
- Raza, Aoun: A Review of Race Detection Mechanisms. In: Proceedings of the First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006.
- Vogel, Gunther: Statische Extraktion von Protokollen. In: 8. Workshop Software-Reengineering, 2006.
ProceedingsBooksDissertationsDiploma Theses (archive)- Becker, Alexander: Implementierung einer aif Binary Decision Diagrams basierenden Zeigeranalyse für C, Diploma Thesis No. 24, 2006.
- Berger, Felix: A test and verification environment for Java programs, Diploma Thesis No. 23, 2006.
- Biermann, Sascha: Modellbasierte Konsistenzprüfung für die GUI-Testautomation, Diploma Thesis No. 6, 2006.
- Kaschowitz, Marcus: Konzeption und Spezifikation einer Methodik-Unterstützung für JUST, Diploma Thesis No. 2447, 2006.
- Kiwitt, Nicolas: Präventive Wartung des SESAM-Systems, Diploma Thesis No. 2494, 2006.
- Roeder, Holger: Software Engineering education at university level in India and Germany, Diploma Thesis No. 2400, 2006.
- Schwienbacher, Martin: Konzeption und Implementierung eines Verfahrens zur Prüfung von Coderichtlinien mittels Mustererkennung, Diploma Thesis No. 17, 2006.
- Taras, Christiane: Modelle zur Wartbarkeit von Software, Diploma Thesis No. 2414, 2006.
- Weisshaar, Benedict: Evaluierung von Programmanalysewerkzeugen für die sichere Integration von Fremdsoftware in Kfz-Steuergeräte, Diploma Thesis No. 3, 2006.
Student Theses (archive)
|
|