Software Engineering 2006: Leipzig, Germany

Bettina Biel, Matthias Book, Volker Gruhn (Eds.): Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig. LNI 79 GI 2006, ISBN 3-88579-173-0 BibTeX

Keynotes

Ralf Schneider: Herausforderungen an das Software Engineering in der Versicherungswirtschaft. 13 BibTeX
Christian Rhino: Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten Applikationsentwicklung. 15 BibTeX
Mehdi Jazayeri: How to Educate a Computer Scientist. 17 BibTeX

Eingeladene Praxisvorträge

Andreas Hutfless: Business Integration mit service-orientierten Architekturen? Ein Erfahrungsbericht. 21 BibTeX
Georg Kühner: Requirements Engineering für ein wissenschaftliches Großexperiment. 23-24 BibTeX

Forschungsarbeiten

Software-Architekturen und-Archive

Petra Becker-Pechau, Bettina Karstens, Carola Lilienthal: Automatisierte Softwareüberprüfung auf der Basis von Architekturregeln. 27-37 BibTeX
Stephan Diehl, Andreas Zeller, Thomas Zimmermann: Was Software-Archive erzählen. 39-50 BibTeX

Software-Produktlinien

Andreas Metzger, Klaus Pohl: Anforderungsbasierte Erkennung von Feature-Interaktionen in der Produktlinienentwicklung. 53-58 BibTeX
Günter Halmans, Klaus Pohl: Dokumentation spezifischer Anforderungen im Application Requirements Engineering der Produktlinienentwicklung. 59-70 BibTeX

Testen

Thomas Santen, Dirk Seifert: TEAGER - Test Automation for UML State Machines. 73-84 BibTeX
Matthias Müller: Über die Spuren der testgetriebenen Entwicklung im Programmtext. 85-96 BibTeX

Service-orientierte Architekturen

Bernhard Humm, Oliver Juwig: Eine Normalform für Services. 99-110 BibTeX
Gregor Engels, Baris Güldali, Marc Lohmann, Oliver Juwig, Jan-Peter Richter: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. 111-122 BibTeX

Formale Methoden

Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. 125-130 BibTeX
Christopher Robinson-Mallett, Peter Liggesmeyer: State Identification and Verification using a Model Checker. 131-142 BibTeX
Marcel Kyas, Jozef Hooman: Compositional Verification of Timed Components using PVS. 143-154 BibTeX

Software-Entwicklungsprozesse

Bernhard Daubner, Bernhard Westfechtel, Andreas Henrich: Integrierte Softwaremessung durch Verankerung der Softwaremaße an Elementen des Vorgehensmodells. 157-162 BibTeX
Tanja Bipp, Andreas Lepper, Doris Schmedding: Effekte von Paararbeit. 163-174 BibTeX
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer: Activity Mining for Discovering Software Process Models. 175-180 BibTeX
Hans-Jörg Happel, Peter Tomczyk, Axel Korthaus, Stefan Seedorf: Ein Ansatz zur formatneutralen Verwaltung von Metadaten in komponentenorientierten Softwareprozessen. 181-192 BibTeX