Documents of the Institute

• Articles in Proceedings
• Articles in Journals
• Proceedings
 

• Diploma Theses (archive)
• Master Theses
• Student Theses (archive)

• Bellon, Stefan; Czeranski, Jörg; Eisenbarth, Thomas; Simon, Daniel: A Product Line Asset Management Tool. In: Technical Report: Workshop on Software Variability Management: Software Product Families and Populations, 2004.
• Koschke, Rainer; Simon, Daniel: Symphony Fallstudie: Hierarchische Reflexion Modelle. In: 6. Workshop Software-Reengineering, WSR 2004, Bad Honnef, Germany, Mai 2004. Softwaretechnik-Trends, Band 24, Heft 2.
• Vrandecic, Zdenko; Simon, Daniel; Bellon, Stefan: XML4Ada95: DOM-Zugriff auf die XML in Ada95. In: Zuverlässige Softwaresysteme, Ada Deutschland Tagung 2004.
• Vrandecic, Zdenko; Simon, Daniel: XML4Ada95 Accessing XML Using the DOM in Ada95. In: Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings.

• Lethbridge, Timothy C; Tichelaar, Sander; Plödereder, Erhard: The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering. In: Electronic Notes in Theoretical Computer Science 94, Online, 2004.

• Plödereder, Erhard (ed); Keller, Hubert B. (ed); von Sommerfeld, Hans (ed); Dencker, Peter (ed); Tonndorf, Michael (ed); Saglietti, Francesca (ed): Automotive - Safety & Security 2004 – Sicherheit und Zuverlässigkeit für automobile Informationstechnik Ada Deutschland Tagung 2004 – Zuverlässige Softwaresysteme, Stuttgart: Shaker Verlag, 2004.

• Bagci, Sinan: Quellcode-Navigation in Gravis, Diploma Thesis No. 2202, 2004.
• Haak, Dietrich: Werkzeuggestützte Herleitung von Protokollen, Diploma Thesis No. 2135, 2004.
• Kern, Hans Malte: Analyse eines industriellen Wartungsprozesses und Vorschläge zu dessen Verbesserung, Diploma Thesis No. 2207, 2004.
• Liu, Yidong: Semiautomatische Entfernung des duplizierten Codes, Diploma Thesis No. 2176, 2004.
• Lu, Leiqin: Konzeption und Implementierung eines Quellcode-Navigators, Diploma Thesis No. 2128, 2004.
• Neinert, Sascha: Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS, Diploma Thesis No. 2200, 2004.
• Pavlakovic, Drazen: Empirische Untersuchung von Vorgehensweisen in der Softwarewartung, Diploma Thesis No. 2174, 2004.
• Schwarzkopf, Markus: Konzeption und Implementierung eines Werkzeugs zur Erhebung von Produktmetriken, Diploma Thesis No. 3, 2004.
• Siegwart, Kai: Empirische Untersuchung zur analytischen Qualitšatssicherung in der Industrie, Diploma Thesis No. 2231, 2004.
• Stürmer, Michael: Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph, Diploma Thesis No. 2182, 2004.
• Wetzel, Matthias: Document-Driven Black-Box-Testing, Diploma Thesis No. 2139, 2004.
• Wielandt, Thomas: Integration der Merkmallokalisierung in Bauhaus, Diploma Thesis No. 2145, 2004.

• Mahadevan, Saravanan: Implementation of a Consistency Test for Free-Choice Sugnal Transition Graphs, Master Thesis No. 1, 2004.
• Suwimonteerabuth, Dejvuth: Verifying Java Bytecode with the Moped Model Checker, Master Thesis No. 5, 2004.

• Müller, Markus: Konzeption und Generierung eines RFG für COBOL, Student Thesis No. 1915, 2004.