CSDL - Proceedings S

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xi

Message from General Chair (PDF)

pp. xii

Message from Program Chair (PDF)

pp. xiii

Organizing Committee (PDF)

pp. xiv

Conference Tracks (PDF)

pp. xv

Reviewers (PDF)

pp. xvi

Fault Analysis in OSS Based on Program Slicing Metrics (Abstract)

pp. 3-10

PDF

Evaluating Quality of Open Source Components for Reuse-Intensive Commercial Solutions (Abstract)

pp. 11-19

PDF

An Examination of the Use of Open Source Software Processes as a Global Software Development Solution for Commercial Software Engineering (Abstract)

pp. 20-27

PDF

Fault-Tolerant BPEL Workflow Execution via Cloud-Aware Recovery Policies (Abstract)

pp. 31-38

PDF

BPELscript: A Simplified Script Syntax for WS-BPEL 2.0 (Abstract)

pp. 39-46

PDF

Bridging the Component-Based and Service-Oriented Worlds (Abstract)

pp. 47-54

PDF

Exercise Generation by Group Models for Autonomous Web-Based Learning (Abstract)

Michael Sonntag

pp. 57-63

PDF

LocaRhythms: Real-Time Data Mining for Continuous Detection and Prediction of Stays (Abstract)

Mirko Fetter

Tom Gross

pp. 64-71

PDF

The Cycle of Trust in Mixed Service-Oriented Systems (Abstract)

pp. 72-79

PDF

AsyncHttpEvalRequest: A New Primitive for Downloading Web Applications Incrementally and Securely (Abstract)

pp. 80-86

PDF

David de Almeida Ferreira

An Enhanced Wiki for Requirements Engineering (Abstract)

Alberto Manuel Rodrigues da Silva

pp. 87-94

PDF

Feature Diagrams and their Transformations: An Extensible Meta-model (Abstract)

Miguel A. Laguna

José M. Marqués

pp. 97-104

PDF

Dynamic Software Architecture Development: Towards an Automated Process (Abstract)

pp. 105-108

PDF

Enabling Model-Driven Schedulability Analysis in the Development of Distributed Component-Based Real-Time Applications (Abstract)

Patricia López Martinez

José M. Drake

Julio L. Medina

pp. 109-112

PDF

Empirical Investigations of Model Size, Complexity and Effort in a Large Scale, Distributed Model Driven Development Process (Abstract)

Werner Heijstek

Michel R.V. Chaudron

pp. 113-120

PDF

Model-Based System Testing Using Visual Contracts (Abstract)

pp. 121-124

PDF

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models (Abstract)

Carlos Noguera

Frédéric Loiret

pp. 125-132

PDF

Textual Views in Model Driven Engineering (Abstract)

pp. 133-140

PDF

Automated Feature Model-Based Generation of Refinement Transformations (Abstract)

Lucia Kapova

Thomas Goldschmidt

pp. 141-148

PDF

Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking (Abstract)

Alexander Raschke

pp. 149-154

PDF

A Lightweight Approach for Domain-Specific Modeling Languages Design (Abstract)

pp. 155-161

PDF

Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws (Abstract)

pp. 162-169

PDF

Process Lines: A Product Line Approach Designed for Process Model Development (Abstract)

Thomas Ternité

pp. 173-180

PDF

What Software Repositories Should Be Mined for Defect Predictors? (Abstract)

pp. 181-187

PDF

Experiences and Results from Establishing a Software Cockpit at BMD Systemhaus (Abstract)

pp. 188-194

PDF

Applicability of Process Discovery Algorithms for Software Organizations (Abstract)

Burcu Akman

Onur Demirörs

pp. 195-202

PDF

Implementation of a Software Quality Improvement Project in an SME: A Before and After Comparison (Abstract)

pp. 203-209

PDF

Richard Berntsson Svensson

Stakeholders' Perception of Success: An Empirical Investigation (Abstract)

pp. 210-216

PDF

Nina Dzamashvili Fogelström

Investigating Impact of Business Risk on Requirements Selection Decisions (Abstract)

Mikael Svahnberg

Tony Gorschek

pp. 217-223

PDF

Agile Experiences in a Software Service Company (Abstract)

pp. 224-228

PDF

Configuration Management for Realtime Simulation Software (Abstract)

Korakoj Sanguanpiyapan

pp. 229-236

PDF

Synthetic Metrics for Evaluating Runtime Quality of Software Architectures with Complex Tradeoffs (Abstract)

pp. 237-242

PDF

CQML Scheme: A Classification Scheme for Comprehensive Quality Model Landscapes (Abstract)

pp. 243-250

PDF

Danuza Ferreira Santana Neiva

An Experimental Study on Requirements Engineering for Software Product Lines (Abstract)

Eduardo Santana de Almeida

Silvio Romero de Lemos Meira

pp. 251-254

PDF

A Lightweight MDSD Process Applied in Small Projects (Abstract)

pp. 255-258

PDF

Sprint Planning with a Digital Aid Tool: Lessons Learnt (Abstract)

pp. 259-262

PDF

Towards Process-Based Collaboration in Global Software Engineering (Abstract)

pp. 263-266

PDF

Foundations for a Model-Driven Integration of Business Services in a Safety-Critical Application Domain (Abstract)

pp. 267-274

PDF

A Comparative Survey of Economic Models for Software Product Lines (Abstract)

pp. 275-278

PDF

Analysis of Software Evolvability in Quality Models (Abstract)

Hongyu Pei Breivold

Ivica Crnkovic

pp. 279-282

PDF

A Simulation Framework to Support Software Project (Re)Planning (Abstract)

Diana Kirk

Stephen MacDonell

pp. 285-292

PDF

Bootstrap Prediction Intervals for a Semi-parametric Software Cost Estimation Model (Abstract)

Nikolaos Mittas

Lefteris Angelis

pp. 293-299

PDF

Long-Term Planning of Development Efforts by Roadmapping (Abstract)

pp. 300-305

PDF

Estimating Web Application Development Effort Using Web-COBRA and COSMIC: An Empirical Study (Abstract)

pp. 306-312

PDF

The Relative Importance of Aspects of Intellectual Capital for Software Companies (Abstract)

pp. 313-320

PDF

Insight into Risk Management in Five Software Organizations (Abstract)

pp. 321-326

PDF

Reliability of COSMIC Functional Size Measurement Results: A Multiple Case Study on Industry Cases (Abstract)

pp. 327-334

PDF

A Framework for the Balanced Optimization of Quality Assurance Strategies Focusing on Small and Medium Sized Enterprises (Abstract)

pp. 335-342

PDF

Alfredo Fernández-Valmayor

A Generative Approach to the Construction of Application-Specific XML Processing Components (Abstract)

Antonio Sarasa-Cabezuelo

Alberto Martínez-Avilés

José-Luis Sierra

pp. 345-352

PDF

Experiences in Applying Situational Method Engineering in AOSE (Abstract)

pp. 353-359

PDF

Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models (Abstract)

pp. 360-367

PDF

Integration and Reliability Testing for Component-Based Software Systems (Abstract)

pp. 368-374

PDF

Constructing Domain-Specific Component Frameworks through Architecture Refinement (Abstract)

pp. 375-382

PDF

Service Redundancy Strategies in Service-Oriented Architectures (Abstract)

pp. 383-387

PDF

A Look at Current Component Models from the Black-Box Perspective (Abstract)

Premek Brada

pp. 388-395

PDF

Developing Adaptable Components Using Dynamic Languages (Abstract)

pp. 396-403

PDF

Service-Oriented Performance Modeling the MULE Enterprise Service Bus (ESB) Loan Broker Application (Abstract)

Paul Brebner

pp. 404-411

PDF

Eduardo Santana de Almeida

Suggesting Software Components for Reuse in Search Engines Using Discovered Knowledge Techniques (Abstract)

Alexandre Costa Martins

Vinicius Cardoso Garcia

Silvio Romero de Lemos Meira

pp. 412-419

PDF

Embedded Software Component Quality and Certification (Abstract)

pp. 420-427

PDF

Automated Versioning in OSGi: A Mechanism for Component Software Consistency Guarantee (Abstract)

Jaroslav Bauml

Premek Brada

pp. 428-435

PDF

Using Design Patterns for Refactoring Real-World Models (Abstract)

Hamed Yaghoubi Shahir

Ehsan Kouroshfar

Raman Ramsin

pp. 436-441

PDF

Modeling Service Oriented Architectures of Mobile Applications by Extending SoaML with Ambients (Abstract)

Nour Ali

Muhammad Ali Babar

pp. 442-449

PDF

A Component-Based Technology for Hardware and Software Components (Abstract)

Luka Lednicki

Ana Petricic

Mario

pp. 450-453

PDF

Guaranteeing Correctness of Component Bindings in Dynamic Adaptive Systems (Abstract)

Dirk Niebuhr

Andreas Rausch

pp. 454-457

PDF

A Step Towards a More Practical Protocol Conformance Checking Algorithm (Abstract)

Andreas Both

Wolf Zimmermann

pp. 458-465

PDF

Fernando Raposo da Camara Silva

A Component Testing Approach Supported by a CASE Tool (Abstract)

Eduardo Santana de Almeida

Silvio Romero de Lemos Meira

pp. 466-469

PDF

An Extensible Language for Service Dependency Management (Abstract)

Siamak Haschemi

Arif Wider

pp. 470-473

PDF

Using JavaBeans to Realize a Domain-Specific Component Model (Abstract)

Juraj Feljan

Jan Carlson

Mario

pp. 474-477

PDF

Formal Semantics of the ProCom Real-Time Component Model (Abstract)

pp. 478-485

PDF

BAL: A Language for Component Based Distributed Applications Development (Abstract)

Panayiotis Alefragis

Nikos Chondros

pp. 486-489

PDF

Multi-level Modeling for Industrial Automation Systems (Abstract)

pp. 490-496

PDF

Component-Based Construction of Concurrent Systems with Active Components (Abstract)

Kung-Kiu Lau

Ioannis Ntalamagkas

pp. 497-501

PDF

An Architecture-Based Framework for Managing Adaptive Real-Time Applications (Abstract)

pp. 502-507

PDF

Flexibility and End-User Support in Model-Based Product Line Tools (Abstract)

pp. 508-511

PDF

Kristoffer Nyborg Gregertsen

A Real-Time Framework for Ada 2005 and the Ravenscar Profile (Abstract)

Amund Skavhaug

pp. 515-522

PDF

Safety Assessment of Design Patterns for Safety-Critical Embedded Systems (Abstract)

pp. 523-527

PDF

Improving Real-Time Software Quality by Direct Specification of Timing Requirements (Abstract)

pp. 528-536

PDF

The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification (Abstract)

pp. 537-545

PDF

RAMS Analysis of a Bio-inspired Traffic Data Sensor ("Smart Eye") (Abstract)

Petr Böhm

Thomas Gruber

pp. 546-552

PDF

Secure Service-Oriented Grid Computing with Public Virtual Worker Nodes (Abstract)

pp. 555-562

PDF

Multi-layered Virtual Machines for Security Updates in Grid Environments (Abstract)

pp. 563-570

PDF

Composition of Self Descriptive Protocols for Future Network Architectures (Abstract)

pp. 571-577

PDF

Web Browser as a Uniform Application Platform: How Far Are We? (Abstract)

Feetu Nyrhinen

Tommi Mikkonen

pp. 578-584

PDF

SuGI - Portal and Training Systems for Grid Middlewares (Abstract)

pp. 585-591

PDF

Author Index (PDF)

pp. 592-595

Roster Page (PDF)

pp. 596