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

Keynotes

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Schneider06
- ask others
Ralf Schneider: Herausforderungen an das Software Engineering in der Versicherungswirtschaft. 13
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Rhino06
- ask others
Christian Rhino: Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten Applikationsentwicklung. 15
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Jazayeri06
- ask others
Mehdi Jazayeri: How to Educate a Computer Scientist. 17

Eingeladene Praxisvorträge

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Hutfless06
- ask others
Andreas Hutfless: Business Integration mit service-orientierten Architekturen? Ein Erfahrungsbericht. 21
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Kuhner06
- ask others
Georg Kühner: Requirements Engineering für ein wissenschaftliches Großexperiment. 23-24

Forschungsarbeiten

Software-Architekturen und-Archive

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Becker-PechauKL06
- ask others
Petra Becker-Pechau, Bettina Karstens, Carola Lilienthal: Automatisierte Softwareüberprüfung auf der Basis von Architekturregeln. 27-37
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/DiehlZZ06
- ask others
Stephan Diehl, Andreas Zeller, Thomas Zimmermann: Was Software-Archive erzählen. 39-50

Software-Produktlinien

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/MetzgerP06
- ask others
Andreas Metzger, Klaus Pohl: Anforderungsbasierte Erkennung von Feature-Interaktionen in der Produktlinienentwicklung. 53-58
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/HalmansP06
- ask others
Günter Halmans, Klaus Pohl: Dokumentation spezifischer Anforderungen im Application Requirements Engineering der Produktlinienentwicklung. 59-70

Testen

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/SantenS06
- ask others
Thomas Santen, Dirk Seifert: TEAGER - Test Automation for UML State Machines. 73-84
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Muller06
- ask others
Matthias Müller: Über die Spuren der testgetriebenen Entwicklung im Programmtext. 85-96

Service-orientierte Architekturen

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/HummJ06
- ask others
Bernhard Humm, Oliver Juwig: Eine Normalform für Services. 99-110
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/EngelsGLJR06
- ask others
Gregor Engels, Baris Güldali, Marc Lohmann, Oliver Juwig, Jan-Peter Richter: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. 111-122

Formale Methoden

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/LamprechtMS06
- ask others
Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. 125-130
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Robinson-MallettL06
- ask others
Christopher Robinson-Mallett, Peter Liggesmeyer: State Identification and Verification using a Model Checker. 131-142
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/Kyas06
- ask others
Marcel Kyas, Jozef Hooman: Compositional Verification of Timed Components using PVS. 143-154

Software-Entwicklungsprozesse

- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/DaubnerWH06
- ask others
Bernhard Daubner, Bernhard Westfechtel, Andreas Henrich: Integrierte Softwaremessung durch Verankerung der Softwaremaße an Elementen des Vorgehensmodells. 157-162
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/BippLS06
- ask others
Tanja Bipp, Andreas Lepper, Doris Schmedding: Effekte von Paararbeit. 163-174
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/KindlerRS06
- ask others
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer: Activity Mining for Discovering Software Process Models. 175-180
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/HappelTKS06
- ask others
Hans-Jörg Happel, Peter Tomczyk, Axel Korthaus, Stefan Seedorf: Ein Ansatz zur formatneutralen Verwaltung von Metadaten in komponentenorientierten Softwareprozessen. 181-192