Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31. März 2006 in Leipzig

Gesellschaft für Informatik, Bonn
2006

Contents

Articles

• Ralf Schneider
  Herausforderungen an das Software Engineering in der Versicherungswirtschaft
  Pages: 13-14... Full Text
• Christian Rhino
  Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten Applikationsentwicklung
  Pages: 15-16... Full Text
• Mehdi Jazayeri
  How to educate a computer scientist
  Pages: 17-20... Full Text
• Andreas Hutfless
  Business-Integration mit Service-Orientierten Architekturen? Ein Erfahrungsbericht
  Pages: 21-22... Full Text
• Georg Kühner
  Requirements Engineering für ein wissenschaftliches Großexperiment
  Pages: 23-26... Full Text
• Petra Becker-Pechau, Bettina Karstens, Carola Lilienthal
  Automatisierte Softwareüberprüfung auf der Basis von Architekturregeln
  Pages: 27-38... Full Text
• Stephan Diehl, Andreas Zeller, Thomas Zimmermann
  Was Software-Archive erzählen
  Pages: 39-52... Full Text
• Andreas Metzger, Klaus Pohl
  Anforderungsbasierte Erkennung von Feature-Interaktionen in der Produktlinienentwicklung
  Pages: 53-58... Full Text
• Günter Halmans, Klaus Pohl
  Dokumentation spezifischer Anforderungen im Application Requirements Engineering der Produktlinienentwicklung
  Pages: 59-72... Full Text
• Thomas Santen, Dirk Seifert
  TEAGER - test automation for UML state machines
  Pages: 73-84... Full Text
• Matthias M. Müller
  Über die Spuren der testgetriebenen Entwicklung im Programmtext
  Pages: 85-98... Full Text
• Bernhard Humm, Oliver Juwig
  Eine Normalform für Services
  Pages: 99-110... Full Text
• Gregor Engels, Baris Güldali, Oliver Juwig, Marc Lohmann, Jan-Peter Richter
  Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen
  Pages: 111-124... Full Text
• Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
  Datenflussanalyse als Modelchecking im jABC
  Pages: 125-130... Full Text
• Christopher Robinson-Mallett, Peter Liggesmeyer
  State identification and verification using a model checker
  Pages: 131-142... Full Text
• Marcel Kyas, Jozef Hooman
  Compositional verification of timed components using PVS
  Pages: 143-156... Full Text
• Bernhard Daubner, Andreas Henrich, Bernhard Westfechtel
  Integrierte Softwaremessung durch Verankerung der Softwaremaße an Elementen des Vorgehensmodells
  Pages: 157-162... Full Text
• Tanja Bipp, Andreas Lepper, Doris Schmedding
  Effekte von Paararbeit
  Pages: 163-174... Full Text
• Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer
  Activity mining for discovering software process models
  Pages: 175-180... Full Text
• Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk
  Ein Ansatz zur formatneutralen Verwaltung von Metadaten in komponentenorientierten Softwareprozessen
  Pages: 181-192... Full Text

Gesellschaft für Informatik, Bonn
ISBN 3-88579-173-0