Abstract is missing.
- Towards a Semiformal Development Methodology for Embedded SystemsLucas Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.. 5-12
- SOA in PracticeTony C. Shan. 5-6
- Serving Ontologies across the Web - Challenges and ApproachesClaudia Bauzer Medeiros. 7-8
- Building Quality into Web Information SystemsLeszek A. Maciaszek. 9-16
- Metrics for a Model Driven Development ContextMotoshi Saeki, Haruhiko Kaiya. 13-22
- Generic Framework for Agent Adaptability and Utilization in a Virtual Organization - Preliminary ConsiderationsMaria Ganzha, Maciej Gawinecki, Michal Szymczak, Grzegorz Frackowiak, Marcin Paprzycki, Myon-Woong Park, Yo-Sub Han, Young Tae Sohn. 17-25
- Programming in Protocols - A Paradigm of Behavioral ProgrammingAshley T. McNeile, Ella E. Roubtsova. 23-30
- (Multi-)Agent Systems Technology and e-CommerceRainer Unland. 27-27
- S-Cube: Enabling the Next Generation of Software ServicesKlaus Pohl. 29-29
- Automating Workflows in Media Production - Building an Infrastructure for a Service Oriented Architecture with a Business Process Management SystemSteven Van Assche, Dietrich Van der Weken, Bjorn Muylaert, Stein Desmet, Bruno Volckaert. 31-38
- Workflow Automation for System ArchitectingMarkku Turunen, Kari Leppänen, Sari Leppänen. 39-46
- Semantic Application DesignPhilippe Larvet. 47-55
- Evaluation of BPMN Models Quality - A Family of ExperimentsElvira Rolón Aguilar, Félix García, Francisco Ruiz, Mario Piattini, Corrado Aaron Visaggio, Gerardo Canfora. 56-63
- Implementing Organic Computing Systems with AgentServiceFlorian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif. 64-71
- On-the-fly Interpretation of Test Cases in an Automatically Generated TTCN-3 Test SuiteWinfried Dulz. 72-80
- Agile Methods and Requirements Engineering in Change Intensive ProjectsMartin Fritzsche. 81-88
- Process-Centric Enterprise Modeling & Management (ProCEM:::2:::)Erich Ortner. 89-98
- Challenges for Agile Development of COTS Components and COTS-based Systems - A Theoretical ExaminationIva Krasteva, Per Branger, Rikard Land. 99-106
- Balanced Goalcards - Combining Goal Analysis and Balanced ScorecardsAlberto Siena, Alessio Bonetti, Paolo Giorgini. 107-114
- Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing MethodsMartin Weiglhofer, Franz Wotawa. 115-122
- On the Performance of Fault Screeners in Software Development and DeploymentRui Abreu, Alberto González-Sanchez, Peter Zoeteweij, Arjan J. C. van Gemund. 123-130
- Visual Composition of Component SystemsHans Albrecht Schmid, Christian Martin Baranowski. 131-139
- Modeling of Service Oriented Architecture - From Business Process to Service RealisationMarek Rychlý, Petr Weiss. 140-146
- Business Process Modeling Aware to the Environment Changes - A Pattern Driven ApproachNicola Boffoli, Daniela Castelluccia, Fabrizio Maria Maggi, Roberto Rutilo. 147-156
- Typed Abstractions for Client-service Interactions in OSGiSven De Labey, Eric Steegmans. 157-166
- Modeling Quality Attribute VariabilityEila Niemelä, Antti Evesti, Pekka Savolainen. 169-176
- Case Study: Running Test Cases for Sequential Programs in Parallel in a Cluster EnvironmentPetr Kroha, V. Vychegzhanin. 177-180
- Evaluating MAS Engineering ToolsEmilia Garcia, Adriana Giret, Vicente J. Botti. 181-184
- Software Semantic Provisioning - Actually Reusing SoftwareSavino Sguera, Philippe Ombredanne, Armando Stellato, Maria Teresa Pazienza. 185-188