Walid Maalej, Bernd Brügge (Eds.):
Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München.
LNI 122 GI 2008, ISBN 978-3-88579-216-1 BibTeX
Agile Knowledge Sharing for Distributed Software Teams
- Björn Decker, Hans-Jörg Happel:
Workshop Agile Knowledge Sharing for Distributed Software Teams.
19-21 BibTeX
- Steffen Lohmann, Thomas Riechert, Sören Auer:
Collaborative Development of Knowledge Bases in Distributed Requirements Elicitation.
22-28 BibTeX
- Tim Romberg, Peter Szulman:
Making Wikis Productive as the Glue Code of Project Information (Project WAVES).
29-34 BibTeX
- Joachim Sauer:
Enabling Agile Offshoring with the Dual-Shore Model.
35-42 BibTeX
- Alessandra Bagnato, Walid Maalej:
From Research to Practice: How to TXT e-solutions Plan to Deploy Innovations in Sharing Development Knowledge.
43-50 BibTeX
- Juan Pablo Soto, Aurora Vizcaíno, Javier Portillo-Rodríguez, Mario Piattini:
A Tool with which to Recommend Knowledge Sources in Virtual Communities.
51-58 BibTeX
- Jörn David:
Navigation Recommendation on Knowledge Artifacts.
59-66 BibTeX
- Maximilian Reiss:
Video-based Information Sharing in Distributed Teams.
67-71 BibTeX
- Patrick Mukherjee, Aleksandra Kovacevic, Andy Schürr:
Analysis of the Benefits the Peer-to-Peer Paradigm brings to Distributed Agile Software Development.
72-76 BibTeX
- Vijay Srinivas Agneeswaran, Rammohan Narendula, Karl Aberer:
Peer-to-Peer Issue Tracking System: Challenges and Solutions.
77-81 BibTeX
Automotive Software Engineering:
Forschung,
Lehre,
Industrielle Praxis
- Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer:
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis.
85-87 BibTeX
- Vladimir Stantchev, Dawid Kostrzycki:
Konzeption eines Austauschformates für AUTOSAR Diagramme.
88-92 BibTeX
- Kai Richter:
Defining a Timing Model for AUTOSAR - Status and Challenges.
93-97 BibTeX
- Thomas Heinz, Jörn Schneider:
The Legacy ECU Software Problem - Approach and Research Challenges.
98-102 BibTeX
- Hannes Omasreiter, Claudia Schlumpberger, Lorenz Widmann:
BRIEF: Systematisches Prozess-Briefing und -Debriefing. Ein bei der Erstellung komplexer Automobilsoftware praxiserprobtes Entwicklungsvorgehen, das Elemente klassischer und agiler Modelle kombiniert.
103-107 BibTeX
- Rainer Otterbach, Oliver Niggemann:
Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt.
108-112 BibTeX
- Mirko Conrad:
Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code.
113-117 BibTeX
- Matthias Wiemann, Jörg Gericke:
Effizienzsteigerung im Systemtest von Steuergeräten. Eine empirische Untersuchung.
118- BibTeX
Integration von Prozessen und Werkzeugen im agilen Zeitalter
Modellgetriebene Softwarearchitektur - Evolution,
Integration und Migration
- Michael Goedicke, Maritta Heisel, Sascha Hunold, Stefan Kühne, Matthias Riebisch, Niels Streekmann:
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2008).
173-177 BibTeX
- Dirk Werth, Jörg Ziemann, Philipp Walter, Peter Loos:
Using Collaborative Business Process Models for the Configuration of Distributed Workflow Environments.
178-183 BibTeX
- Steffen Kruse, Malte Zilinski, Hilke Garbe, Claus Möbus:
MDA und KI: Domänenspezifische Modellierung und Umsetzung wissensintensiver Prozesse.
184-190 BibTeX
- Sven Wohlfarth, Matthias Riebisch:
Systematische Berücksichtigung von Abhängigkeitsbeziehungen bei Architekturentscheidungen.
191-197 BibTeX
- Sven Feja, Daniel Fötsch, Sebastian Stein:
Grafische Validierungsregeln am Beispiel von EPKs.
198-204 BibTeX
- Thomas Goldschmidt, Jens Kübler:
Towards Evaluating Maintainability Within Model-Driven Environments.
205-211 BibTeX
- Michael Goedicke, Moritz Balz, Michael Striewe:
UPPAAL-Modelle als ausführbare Spezifikation in Java.
212-218 BibTeX
- Dieter Hildebrandt, Michael Gründler, Heiner Feislachen:
Modellgetriebene Integration von Altsystemen.
219-225 BibTeX
- Sascha Hunold, Matthias Korch, Björn Krellner, Thomas Rauber, Thomas Reichel, Gudula Rünger:
Inkrementelle Transformation einer monolithischen Geschäftssoftware.
226-231 BibTeX
Produktlinien im Kontext:
Technologie,
Prozesse,
Business und Organisation
- Andreas Birk, Ludger Fiege, Klaus Schmid:
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation. PIK2008 Workshop-Einleitung und Überblick.
235-239 BibTeX
- Samuel Fricker, Reinhard Stoiber:
Relating Product Line Context to Requirements Engineering Processes Using Design Rationale.
240-251 BibTeX
- Martin Becker, Matthias Weber, Thomas Wierczoch:
Varianten in der Automobilelektronikentwicklung Herausforderungen und Lösungsansätze.
252-260 BibTeX
- Uwe Beher, Günter Bönisch, Mike Heidrich:
Multiple Software Product Lines in Automotive Software Development.
261-272 BibTeX
- Henrik Lochmann, Birgit Grammel:
The Sales Scenario: A Model-Driven Software Product Line.
273-284 BibTeX
- Thomas von der Maßen, Andreas Wübbeke:
Modellierung von Variabilität in der Geschäftsanalyse - eine industrielle Fallstudie.
285-296 BibTeX
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme
- Hardi Hungar, Erwin Reyzl:
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung.
299-302 BibTeX
- Peter Dencker, Tilman Gloetzner:
Die Zertifizierung des Modellierungswerkzeugs ASCET nach der IEC 6 15 08.
303-306 BibTeX
- Ralf Fachet:
Unified Modeling Style and Unified Process Architecture: Model-Driven Design and Model-Based Verification Key to Safety and Cost-reduction.
307-310 BibTeX
- Thomas Henties:
Safety Critical Java erleichtert die Zertifizierung sicherheitskritischer Echtzeit-Anwendungen.
311-315 BibTeX
- Thomas Buchberger:
Erfolgsfaktoren bei der Entwicklung der OBCE-WW.
316-318 BibTeX
- Serhat Cakaloglu, Hans-Jürgen Nollau, Murat Sahihgöz:
Modellsicht auf die Logik eines generischen Stellwerkssystems.
319-322 BibTeX
- Wolfgang Köppl, Gordon Rohrmair:
Secure Coding als Bindeglied zwischen formalen Ansätzen um Safety in Infrastruktur-kritischen Systemen zu gewährleisten.
323-328 BibTeX
- Thomas Peikenkamp:
Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen.
329-334 BibTeX
- Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Taubig, Dennis Walter:
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.
335-338 BibTeX
- Hardi Hungar:
Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision.
339-340 BibTeX
- Christoph Lüth:
Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß.
341-342 BibTeX
- Theodor Tempelmeier:
Schwachpunkte und Grenzen gegenwärtiger Methoden.
343-344 BibTeX
- Hardi Hungar, Erwin Reyzl:
Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme".
345-349 BibTeX
Testmethoden für Software - Von der Forschung in die Praxis
- Fevzi Belli, Christof J. Budnik, Andreas Spillner:
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis.
353-354 BibTeX
- Dehla Sokenou:
Modellbasierter Test mit FitNesse - Ein Erfahrungsbericht aus der Praxis.
355-358 BibTeX
- Benno Markiewicz, Holger Flemig, Karsten Weicker:
Plattformübergreifende funktionale Tests durch GUI-Abstraktion.
359-366 BibTeX
- Friedrich Beidinger, Axel Hollmann, Markus Kleinselbeck, Wolf Ritschel:
Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie.
367-374 BibTeX
- Edith Werner, Jens Grabowski, Stefan Troschütz, Benjamin Zeiss:
A TTCN-3-based Web Service Test Framework.
375-382 BibTeX
- Armin Beer:
Die Einführung eines wieder verwendbaren Testframeworks in der Sozialversicherung.
383-386 BibTeX
- Andreas Ganser, Holger Schackmann, Horst Lichter, Heinz-Josef Schlebusch:
Test Case Structuring and Execution Control in an Integration Framework for Heterogeneous Automatic Software Tests.
387-394 BibTeX
- Vladimir Entin, Klaus Meyer-Wegener:
Ein Framework für die Testautomatisierung bei Fahrer-Assistenz-Systemen.
395-398 BibTeX
- Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen:
Using UML Environment Models for Test Case Generation.
399-406 BibTeX
- Rainer Schmidberger:
Glassboxtest zur Testsuite-Optimierung.
407-414 BibTeX
- Florin Pinte, Francesca Saglietti, Norbert Oster:
Automatic Generation of Optimized Integration Test Data by Genetic Algorithms.
415-422 BibTeX
- Stephan Weißleder, Dehla Sokenou:
Automatic Test Case Generation from UML Models and OCL Expressions.
423-426 BibTeX
- Tim Reichert, Dominikus Herzberg:
A Domain Specific Language for Uncovering Abstract Protocols and Testing Message Scenarios.
427-430 BibTeX
- Ralf Gerlich:
Path Constraint Construction with Lookahead.
431-434 BibTeX
- Daniel Brenner, Colin Atkinson:
Simplifying the Description and Application of Tests.
435-438 BibTeX
- Stefan Holpp, Helmut Goetz, Winfried Dulz:
Statistical Testing within the Scope of the System Validation of a RIS/PACS System.
439-442 BibTeX
- Elmar Jürgens, Benjamin Hummel, Florian Deissenboeck, Martin Feilkas:
Static Bug Detection Through Analysis of Inconsistent Clones.
443-446 BibTeX
Erhebung,
Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung
Copyright © Sat May 16 23:37:15 2009
by Michael Ley (ley@uni-trier.de)