![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Software Engineering 2006: Leipzig, Germany
- Bettina Biel, Matthias Book, Volker Gruhn:
Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig. LNI P-79, GI 2006, ISBN 3-88579-173-0
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 A. 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.