Software Engineering Research, Management and Applications

✍ Scribed by Luciana Akemi Burgareli (auth.), Roger Lee (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2008
• Tongue: English
• Leaves: 250
• Series: Studies in Computational Intelligence 150
• Edition: 1
• Category: Library

✦ Synopsis

The 6^th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held in Prague in the Czech Republic on August 20 – 22. SERA ’08 featured excellent theoretical and practical contributions in the areas of formal methods and tools, requirements engineering, software process models, communication systems and networks, software quality and evaluation, software engineering, networks and mobile computing, parallel/distributed computing, software testing, reuse and metrics, database retrieval, computer security, software architectures and modeling. Our conference officers selected the best 17 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members or the program committee, and underwent further rounds of rigorous review.

✦ Table of Contents

Front Matter....Pages -
A Variability Management Strategy for Software Product Lines of Brazilian Satellite Launcher Vehicles....Pages 1-14
Use of Questionnaire-Based Appraisal to Improve the Software Acquisition Process in Small and Medium Enterprises....Pages 15-27
Deploying Component–Based Applications: Tools and Techniques....Pages 29-42
Towards Improving End-to-End Performance of Distributed Real-Time and Embedded Systems Using Baseline Profiles....Pages 43-57
Preserving Intentions in SOA Business Process Development....Pages 59-72
Quality Aware Flattening for Hierarchical Software Architecture Models....Pages 73-87
Case Study on Symbian OS Programming Practices in a Middleware Project....Pages 89-99
Automatic Extraction of Pre- and Postconditions from Z Specifications....Pages 101-114
Towards a SPEM v2.0 Extension to Define Process Lines Variability Mechanisms....Pages 115-130
Genetic Algorithm and Variable Neighborhood Search for Point to Multipoint Routing Problem....Pages 131-140
Observation-Based Interaction and Concurrent Aspect-Oriented Programming....Pages 141-155
Modular Compilation of a Synchronous Language....Pages 157-171
Describing Active Services for Publication and Discovery....Pages 173-187
Refactoring-Based Adaptation of Adaptation Specifications....Pages 189-203
Resolving Complexity and Interdependence in Software Project Management Antipatterns Using the Dependency Structure Matrix....Pages 205-217
An Embedded System Curriculum for Undergraduate Software Engineering Program....Pages 219-232
Model Checking for UML Use Cases....Pages 233-246
Back Matter....Pages -

✦ Subjects

Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics); Software Engineering