Abstract is missing.
- Herausforderungen an das Software Engineering in der VersicherungswirtschaftRalf Schneider. 13
- Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten ApplikationsentwicklungChristian Rhino. 15
- How to Educate a Computer ScientistMehdi Jazayeri. 17
- Business Integration mit service-orientierten Architekturen? Ein ErfahrungsberichtAndreas Hutfless. 21
- Requirements Engineering für ein wissenschaftliches GroßexperimentGeorg Kühner. 23-24
- Automatisierte Softwareüberprüfung auf der Basis von ArchitekturregelnPetra Becker-Pechau, Bettina Karstens, Carola Lilienthal. 27-37
- Was Software-Archive erzählenStephan Diehl, Andreas Zeller, Thomas Zimmermann. 39-50
- Anforderungsbasierte Erkennung von Feature-Interaktionen in der ProduktlinienentwicklungAndreas Metzger, Klaus Pohl. 53-58
- Dokumentation spezifischer Anforderungen im Application Requirements Engineering der ProduktlinienentwicklungGünter Halmans, Klaus Pohl. 59-70
- TEAGER - Test Automation for UML State MachinesThomas Santen, Dirk Seifert. 73-84
- Über die Spuren der testgetriebenen Entwicklung im ProgrammtextMatthias Müller. 85-96
- Eine Normalform für ServicesBernhard Humm, Oliver Juwig. 99-110
- Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten ArchitekturenGregor Engels, Baris Güldali, Marc Lohmann, Oliver Juwig, Jan-Peter Richter. 111-122
- Datenflussanalyse als Modelchecking im jABCAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. 125-130
- State Identification and Verification using a Model CheckerChristopher Robinson-Mallett, Peter Liggesmeyer. 131-142
- Compositional Verification of Timed Components using PVSMarcel Kyas, Jozef Hooman. 143-154
- Integrierte Softwaremessung durch Verankerung der Softwaremaße an Elementen des VorgehensmodellsBernhard Daubner, Bernhard Westfechtel, Andreas Henrich. 157-162
- Effekte von PaararbeitTanja Bipp, Andreas Lepper, Doris Schmedding. 163-174
- Activity Mining for Discovering Software Process ModelsEkkart Kindler, Vladimir Rubin, Wilhelm Schäfer. 175-180
- Ein Ansatz zur formatneutralen Verwaltung von Metadaten in komponentenorientierten SoftwareprozessenHans-Jörg Happel, Peter Tomczyk, Axel Korthaus, Stefan Seedorf. 181-192