Table of Contents
A Variability Management Strategy for Software Product Lines of Brazilian Satellite Launcher Vehicles Luciana Akemi Burgareli Selma S.S. Melnikoff Mauricio G.V. Ferreira 1
Use of Questionnaire-Based Appraisal to Improve the Software Acquisition Process in Small and Medium Enterprises Ivan Garcia Carla Pacheco Pavel Sumano 15
Deploying Component-Based Applications: Tools and Techniques Abbas Heydarnoori 29
Towards Improving End-to-End Performance of Distributed Real-Time and Embedded Systems Using Baseline Profiles James H. Hill Aniruddha Gokhale 43
Preserving Intentions in SOA Business Process Development Lucia Kapova Tomas Bures Petr Hnetynka 59
Quality Aware Flattening for Hierarchical Software Architecture Models Gang Huang Jie Yang Yanchun Sun Hong Mei 73
Case Study on Symbian OS Programming Practices in a Middleware Project Otso Kassinen Timo Koskela Erkki Harjula Mika Ylianttila 89
Automatic Extraction of Pre- and Postconditions from Z Specifications Muhammad Bilal Latif Aamer Nadeem 101
Towards a SPEM v2.0 Extension to Define Process Lines Variability Mechanisms Tomas Martinez-Ruiz Felix Garcia Mario Piattini 115
Genetic Algorithm and Variable Neighborhood Search for Point to Multipoint Routing Problem Noor Hasnah Moin Huda Zuhrah Ab. Halim 131
Observation-Based Interaction and Concurrent Aspect-Oriented Programming Iulian Ober Younes Lakhrissi 141
Modular Compilation of a Synchronous Language Annie Ressouche Daniel Gaffe Valerie Roy 157
Describing Active Services for Publication and Discovery Haldor Samset Rolv Braek 173
Refactoring-Based Adaptation of Adaptation Specifications Ilie Savga Michael Rudolf 189
Resolving Complexity and Interdependencein Software Project Management Antipatterns Using the Dependency Structure Matrix Dimitrios Settas Ioannis Stamelos 205
An Embedded System Curriculum for Undergraduate Software Engineering Program Gang Shen 219
Model Checking for UML Use Cases Yoshiyuki Shinkawa 233
Author Index 247
