Abstract is missing.
- Workshop Agile Knowledge Sharing for Distributed Software TeamsBjörn Decker, Hans-Jörg Happel. 19-21
- Collaborative Development of Knowledge Bases in Distributed Requirements ElicitationSteffen Lohmann, Thomas Riechert, Sören Auer. 22-28
- Making Wikis Productive as the Glue Code of Project Information (Project WAVES)Tim Romberg, Peter Szulman. 29-34
- Enabling Agile Offshoring with the Dual-Shore ModelJoachim Sauer. 35-42
- From Research to Practice: How to TXT e-solutions Plan to Deploy Innovations in Sharing Development KnowledgeAlessandra Bagnato, Walid Maalej. 43-50
- A Tool with which to Recommend Knowledge Sources in Virtual CommunitiesJuan Pablo Soto, Aurora Vizcaíno, Javier Portillo-Rodríguez, Mario Piattini. 51-58
- Navigation Recommendation on Knowledge ArtifactsJörn David. 59-66
- Video-based Information Sharing in Distributed TeamsMaximilian Reiss. 67-71
- Analysis of the Benefits the Peer-to-Peer Paradigm brings to Distributed Agile Software DevelopmentPatrick Mukherjee, Aleksandra Kovacevic, Andy Schürr. 72-76
- Peer-to-Peer Issue Tracking System: Challenges and SolutionsVijay Srinivas Agneeswaran, Rammohan Narendula, Karl Aberer. 77-81
- Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle PraxisBernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer. 85-87
- Konzeption eines Austauschformates für AUTOSAR DiagrammeVladimir Stantchev, Dawid Kostrzycki. 88-92
- Defining a Timing Model for AUTOSAR - Status and ChallengesKai Richter. 93-97
- The Legacy ECU Software Problem - Approach and Research ChallengesThomas Heinz, Jörn Schneider. 98-102
- BRIEF: Systematisches Prozess-Briefing und -Debriefing. Ein bei der Erstellung komplexer Automobilsoftware praxiserprobtes Entwicklungsvorgehen, das Elemente klassischer und agiler Modelle kombiniertHannes Omasreiter, Claudia Schlumpberger, Lorenz Widmann. 103-107
- Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum SerienprojektRainer Otterbach, Oliver Niggemann. 108-112
- Model-Based Design for IEC 61508: Towards Translation Validation of Generated CodeMirko Conrad. 113-117
- Effizienzsteigerung im Systemtest von Steuergeräten. Eine empirische UntersuchungMatthias Wiemann, Jörg Gericke. 118
- Workshop zur Integration von Prozessen und Werkzeugen im agilen ZeitalterWalid Maalej, Oliver Creighton, Ernst Pohn. 125-127
- Integrating Software Lifecycle Models into a uniform Software Engineering ModelJonas Helming. 128-134
- Integration des V-Modell®XT im Visual Studio Team Foundation Server - Erfahrungen aus dem Projekt CollabXTMarco Kuhrmann. 135-140
- Integrationsnotwendigkeit im agilen ZeitalterJennifer Schiller. 141-148
- Das Link-System: Von Weblinks zu universellen, sensitiven HyperlinksDirk Fischer. 149-156
- TIME - Tracking Intra- and Inter-Model EvolutionMaximilian Kögel. 157-164
- Change Propagation with the Change Notification BusTobias Rodenbach, Lena Wiese. 165-170
- Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2008)Michael Goedicke, Maritta Heisel, Sascha Hunold, Stefan Kühne, Matthias Riebisch, Niels Streekmann. 173-177
- Using Collaborative Business Process Models for the Configuration of Distributed Workflow EnvironmentsDirk Werth, Jörg Ziemann, Philipp Walter, Peter Loos. 178-183
- MDA und KI: Domänenspezifische Modellierung und Umsetzung wissensintensiver ProzesseSteffen Kruse, Malte Zilinski, Hilke Garbe, Claus Möbus. 184-190
- Systematische Berücksichtigung von Abhängigkeitsbeziehungen bei ArchitekturentscheidungenSven Wohlfarth, Matthias Riebisch. 191-197
- Grafische Validierungsregeln am Beispiel von EPKsSven Feja, Daniel Fötsch, Sebastian Stein. 198-204
- Towards Evaluating Maintainability Within Model-Driven EnvironmentsThomas Goldschmidt, Jens Kübler. 205-211
- UPPAAL-Modelle als ausführbare Spezifikation in JavaMichael Goedicke, Moritz Balz, Michael Striewe. 212-218
- Modellgetriebene Integration von AltsystemenDieter Hildebrandt, Michael Gründler, Heiner Feislachen. 219-225
- Inkrementelle Transformation einer monolithischen GeschäftssoftwareSascha Hunold, Matthias Korch, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger. 226-231
- Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation. PIK2008 Workshop-Einleitung und ÜberblickAndreas Birk, Ludger Fiege, Klaus Schmid. 235-239
- Relating Product Line Context to Requirements Engineering Processes Using Design RationaleSamuel Fricker, Reinhard Stoiber. 240-251
- Varianten in der Automobilelektronikentwicklung Herausforderungen und LösungsansätzeMartin Becker, Matthias Weber, Thomas Wierczoch. 252-260
- Multiple Software Product Lines in Automotive Software DevelopmentUwe Beher, Günter Bönisch, Mike Heidrich. 261-272
- The Sales Scenario: A Model-Driven Software Product LineHenrik Lochmann, Birgit Grammel. 273-284
- Modellierung von Variabilität in der Geschäftsanalyse - eine industrielle FallstudieThomas von der Maßen, Andreas Wübbeke. 285-296
- Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und ZertifizierungHardi Hungar, Erwin Reyzl. 299-302
- Die Zertifizierung des Modellierungswerkzeugs ASCET nach der IEC 6 15 08Peter Dencker, Tilman Gloetzner. 303-306
- Unified Modeling Style and Unified Process Architecture: Model-Driven Design and Model-Based Verification Key to Safety and Cost-reductionRalf Fachet. 307-310
- Safety Critical Java erleichtert die Zertifizierung sicherheitskritischer Echtzeit-AnwendungenThomas Henties. 311-315
- Erfolgsfaktoren bei der Entwicklung der OBCE-WWThomas Buchberger. 316-318
- Modellsicht auf die Logik eines generischen StellwerkssystemsSerhat Cakaloglu, Hans-Jürgen Nollau, Murat Sahihgöz. 319-322
- Secure Coding als Bindeglied zwischen formalen Ansätzen um Safety in Infrastruktur-kritischen Systemen zu gewährleistenWolfgang Köppl, Gordon Rohrmair. 323-328
- Nachweis von Sicherheitseigenschaften in modellbasierten EntwurfsprozessenThomas Peikenkamp. 329-334
- Zertifizierung einer Sicherungskomponente mittels durchgängig formaler ModellierungUdo Frese, Daniel Hausmann, Christoph Lüth, Holger Taubig, Dennis Walter. 335-338
- Positionsstatement: Zertifizierungsargumentationen mit mathematischer PräzisionHardi Hungar. 339-340
- Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im ZertifizierungsprozeßChristoph Lüth. 341-342
- Schwachpunkte und Grenzen gegenwärtiger MethodenTheodor Tempelmeier. 343-344
- Ergebnisse des Workshops Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme Hardi Hungar, Erwin Reyzl. 345-349
- 2. Workshop Testmethoden für Software - Von der Forschung in die PraxisFevzi Belli, Christof J. Budnik, Andreas Spillner 0002. 353-354
- Modellbasierter Test mit FitNesse - Ein Erfahrungsbericht aus der PraxisDehla Sokenou. 355-358
- Plattformübergreifende funktionale Tests durch GUI-AbstraktionBenno Markiewicz, Holger Flemig, Karsten Weicker. 359-366
- Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven FallstudieFriedrich Beidinger, Axel Hollmann, Markus Kleinselbeck, Wolf Ritschel. 367-374
- A TTCN-3-based Web Service Test FrameworkEdith Werner, Jens Grabowski, Stefan Troschütz, Benjamin Zeiss. 375-382
- Die Einführung eines wieder verwendbaren Testframeworks in der SozialversicherungArmin Beer. 383-386
- Test Case Structuring and Execution Control in an Integration Framework for Heterogeneous Automatic Software TestsAndreas Ganser, Holger Schackmann, Horst Lichter, Heinz-Josef Schlebusch. 387-394
- Ein Framework für die Testautomatisierung bei Fahrer-Assistenz-SystemenVladimir Entin, Klaus Meyer-Wegener. 395-398
- Using UML Environment Models for Test Case GenerationMaritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen. 399-406
- Glassboxtest zur Testsuite-OptimierungRainer Schmidberger. 407-414
- Automatic Generation of Optimized Integration Test Data by Genetic AlgorithmsFlorin Pinte, Francesca Saglietti, Norbert Oster. 415-422
- Automatic Test Case Generation from UML Models and OCL ExpressionsStephan Weißleder, Dehla Sokenou. 423-426
- A Domain Specific Language for Uncovering Abstract Protocols and Testing Message ScenariosTim Reichert, Dominikus Herzberg. 427-430
- Path Constraint Construction with LookaheadRalf Gerlich. 431-434
- Simplifying the Description and Application of TestsDaniel Brenner, Colin Atkinson. 435-438
- Statistical Testing within the Scope of the System Validation of a RIS/PACS SystemStefan Holpp, Helmut Goetz, Winfried Dulz. 439-442
- Static Bug Detection Through Analysis of Inconsistent ClonesElmar Jürgens, Benjamin Hummel, Florian Deissenboeck, Martin Feilkas. 443-446
- 2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der SystementwicklungJörg Dörr, Peter Liggesmeyer. 449-450
- Assessing Relations between Non-Functional RequirementsMichael C. Jaeger, Anne Hoffmann. 451-456
- Qualitätsrisiken und deren AbhängigkeitenAndrea Herrmann. 457-463
- Erfassung, Strukturierung und Überprüfung von Qualitätsanforderungen durch aktivitätenbasierte QualitätsmodelleStefan Wagner, Florian Deissenboeck, Sebastian Winter. 464-469
- Über die Auswirkungen nicht-funktionaler Anforderungen beim Entwurf eines Rahmenwerkes zur Anbindung von Smart Items an ERP-SystemeRosemaria Giesecke, Florin Spanachi. 470-471