- Veröffentlichungen der Abteilung

- Dokumente der Abteilung

• Artikel in Tagungsbänden
 

• Technische Berichte
• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)
• Fachstudien Softwaretechnik
 

• Bibliographie 2007 BibTeX     ( Download )

• Lösch, Felix; Plödereder, Erhard: Optimization of Variability in Software Product Lines. In: IEEE Computer Society (Hrsg): Proceedings of the 11th International Software Product Line Conference (SPLC 2007), Kyoto, Japan, 10.-14. September 2007.
• Lösch, Felix; Plödereder, Erhard: Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations. In: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, 21.-23. März 2007.
• Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form. In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.
• Staiger, Stefan: Reverse Engineering Graphical User Interfaces using Static Analyses. In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.
• Staiger, Stefan: Statische Analyse von graphischen Oberflächen. In: Proceedings of the Workshop on Applied Program Analysis, Bremen September 2007.
• Staiger, Stefan: Static Analysis of Programs with Graphical User Interface. In: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), 21-23 March 2007, Amsterdam.
• Vogel, Gunther: Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen. In: Proceedings of the Workshop on Applied Program Analysis, Bremen, September 2007.

• Nr. 03:  Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form in Bauhaus, Technischer Bericht Nr. 2007/03.

• Heit, Juergen: Impact of methods and mechanisms for improving software dependability on non-functional requirements, Diplomarbeit Nr. 2548, 2007.
• Jung, Benjamin: Analyse der Struktur von Software-Protokollen, Diplomarbeit Nr. 2591, 2007.

• 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.

• Geisselmeier, Benjamin; Wiedersheim, Sebastian; Breier, Sebastian: Bauhaus - First Contact, Fachstudie Softwaretechnik Nr. 80, 2007.