Software Engineering 2006: Leipzig, Germany

Keynotes

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

Eingeladene Praxisvorträge

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

Forschungsarbeiten

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

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

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

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

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

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

Last update Thu May 24 04:42:13 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page