CSDL - Proceedings A

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-x

Conference Chair's Message (PDF)

pp. xi

Program Chairs' Message (PDF)

pp. xii

Conference Organizers (PDF)

pp. xiii-xiv

Steering Committee (PDF)

pp. xv

Program Committee (PDF)

pp. xvi-xvii

Reviewers (PDF)

pp. xviii

Keynotes (PDF)

pp. xix-xxi

Improving the Accuracy of Software Effort Estimation Based on Multiple Least Square Regression Models by Estimation Error-Based Data Partitioning (Abstract)

pp. 3-10

PDF

Hierarchical Understandability Assessment Model for Large-Scale OO System (Abstract)

pp. 11-18

PDF

On the Relationship between Different Size Measures in the Software Life Cycle (Abstract)

pp. 19-26

PDF

Investigating the Effect of Refactoring on Software Testing Effort (Abstract)

Karim O. Elish

Mohammad Alshayeb

pp. 29-34

PDF

Extracting High-Level Functional Design from Software Requirements (Abstract)

Vibhu Saujanya Sharma

pp. 35-42

PDF

Identifying Fragments to be Extracted from Long Methods (Abstract)

Limei Yang

Hui Liu

Zhendong Niu

pp. 43-49

PDF

A Graph Based Approach to Detecting Causes of Implied Scenarios under the Asynchronous and Synchronous Communication Styles (Abstract)

pp. 53-60

PDF

Extracting Environmental Constraints to Make Reactive System Specifications Realizable (Abstract)

pp. 61-68

PDF

Monitoring Composite Services with Universal Modal Sequence Diagrams (Abstract)

Wenrui Li

Zhijian Wang

pp. 69-76

PDF

Critical Barriers for Offshore Software Development Outsourcing Vendors: A Systematic Literature Review (Abstract)

pp. 79-86

PDF

Re-defining the Requirements Engineering Process Improvement Model (Abstract)

pp. 87-92

PDF

Christian Harsana Ekadharmawan

Insights into Domain Knowledge Sharing in Software Development Practice in SMEs (Abstract)

Jim Buchan

Stephen G. MacDonell

pp. 93-100

PDF

The Context Dynamics Matrix (CDM): An Approach to Modeling Context (Abstract)

Ziyad Alshaikh

Clive Boughton

pp. 101-108

PDF

Henrik Bærbak Christensen

An Empirical Study of Software Architects' Concerns (Abstract)

Klaus Marius Hansen

Kari Rye Schougaard

pp. 111-118

PDF

Attribute-Based Architecture Patterns for Lightweight Service-Oriented Architectures (Abstract)

pp. 119-126

PDF

Tool Support for Component-Based Software Architectures (Abstract)

Georg Buchgeher

Rainer Weinreich

pp. 127-134

PDF

Web Services Composition by I/O Data Structure Correspondences (Abstract)

Qiushi Wang

Osamu Shigo

pp. 135-142

PDF

Search-Based Testing Guidance Using Dominances vs. Control Dependencies (Abstract)

Ahmed S. Ghiduk

pp. 145-151

PDF

Analysis of the OLSR Protocol by Using Formal Passive Testing (Abstract)

pp. 152-159

PDF

Variable Strength Interaction Testing with an Ant Colony System Approach (Abstract)

Xiang Chen

Qing Gu

Ang Li

Daoxu Chen

pp. 160-167

PDF

Spectral Debugging with Weights and Incremental Ranking (Abstract)

Lee Naish

Hua Jie Lee

Kotagiri Ramamohanarao

pp. 168-175

PDF

Improve Analogy-Based Software Effort Estimation Using Principal Components Analysis and Correlation Weighting (Abstract)

pp. 179-186

PDF

Investigating the Effect of Pair Programming and Software Size on Software Quality and Programmer Productivity (Abstract)

Raymund Sison

pp. 187-193

PDF

Describing Pattern Languages for Checking Design Models (Abstract)

Bahman Zamani

Greg Butler

pp. 197-204

PDF

An Efficient Context-Based User Interface by Exploiting Temporality of Attributes (Abstract)

Mittapally Kumara Swamy

Polepalli Krishna Reddy

pp. 205-212

PDF

Aspect Oriented Programming Made Easy: An Embedded Pointcut Language (Abstract)

Antonio Cisternino

Sebastien Vaucouleur

pp. 215-222

PDF

Composition Analysis of Multiple Aspects in Aspect-Oriented Programs (Abstract)

Nafees Qamar

pp. 223-230

PDF

Elicit the Requirements on Software Dependability: A Knowledge-Based Approach (Abstract)

Chun Liu

Yue Wang

Zhi Jin

pp. 233-240

PDF

Modeling Access Control Requirements in Feature Model (Abstract)

Lianshan Sun

Gang Huang

pp. 241-248

PDF

Performing Projection in Problem Frames Using Scenarios (Abstract)

Zhi Jin

Xiaohong Chen

Didar Zowghi

pp. 249-256

PDF

A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements (Abstract)

Saad Zafar

pp. 257-264

PDF

Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Programs (Abstract)

Ju Qian

pp. 267-274

PDF

Program Sifting: Select Property-Related Functions for Language-Based Static Analysis (Abstract)

Kai Yu

pp. 275-282

PDF

Avoiding Some Common Preprocessing Pitfalls with Feature Queries (Abstract)

pp. 283-290

PDF

Sequence Diagram Slicing (Abstract)

pp. 291-298

PDF

Test Coverage Metric for Two-Staged Language with Abstract Interpretation (Abstract)

pp. 301-308

PDF

Analysis of Problems in Testing Practices (Abstract)

pp. 309-315

PDF

Unit Testing Approaches for BPEL: A Systematic Review (Abstract)

Zulfa Zakaria

Rodziah Atan

Abdul Azim Abdul Ghani

Nor Fazlida Mohd. Sani

pp. 316-322

PDF

Scheduling Test Execution of WBEM Applications (Abstract)

Lian Yu

Yu Su

Qianxing Wang

pp. 323-330

PDF

Incomplete Software Requirements and Assumptions Made by Software Engineers (Abstract)

pp. 333-339

PDF

Dayang Norhayati A. Jawawi

Requirements Identification and Representation in Software Product Line (Abstract)

Shahliza Abd Halim

Safaai Deris

pp. 340-346

PDF

Propagating Requirement Change into Software High Level Designs towards Resilient Software Evolution (Abstract)

pp. 347-354

PDF

Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition (Abstract)

Bixin Li

Yu Zhou

Jun Pang

pp. 355-362

PDF

Problematic Code Clones Identification Using Multiple Detection Results (Abstract)

pp. 365-372

PDF

Code Clone Graph Metrics for Detecting Diffused Code Clones (Abstract)

pp. 373-380

PDF

Phongphan Danphitsanuphan

Assessing and Estimating Corrective, Enhancive, and Reductive Maintenance Tasks: A Controlled Experiment (Abstract)

Vu Nguyen

Barry Boehm

pp. 381-388

PDF

Identifying Stagnation Periods in Software Evolution by Replaying Editing Operations (Abstract)

Takayuki Omori

Katsuhisa Maruyama

pp. 389-396

PDF

Fault Localization Based on Multi-level Similarity of Execution Traces (Abstract)

Qing Gu

pp. 399-405

PDF

Directed Test Suite Augmentation (Abstract)

Zhihong Xu

Gregg Rothermel

pp. 406-413

PDF

Checking Model Consistency Using Data-Flow Testing (Abstract)

Chen-Wei Wang

Alessandra Cavarra

pp. 414-421

PDF

An Effective Path Selection Strategy for Mutation Testing (Abstract)

Mike Papadakis

Nicos Malevris

pp. 422-429

PDF

Investigating the State of User Involvement in Practice (Abstract)

Juho Heiskari

Laura Lehtola

pp. 433-440

PDF

Extracting Development Organization from Open Source Software (Abstract)

pp. 441-448

PDF

Project Management Using Risk Identification Architecture Pattern (RIAP) Model: A Case Study on a Web-Based Application (Abstract)

pp. 449-456

PDF

Risk Identification and Mitigation Processes for Using Scrum in Global Software Development: A Conceptual Framework (Abstract)

pp. 457-464

PDF

An Automatic Compliance Checking Approach for Software Processes (Abstract)

pp. 467-474

PDF

A Push for Software Process Improvement in Thailand (Abstract)

pp. 475-481

PDF

Applying a Systematic Approach to Link Requirements and Testing: A Case Study (Abstract)

pp. 482-488

PDF

A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification (Abstract)

pp. 489-496

PDF

Towards Automated Verification of Distributed Consensus Protocols (Abstract)

pp. 499-506

PDF

A Method for Modeling and Analyzing Fault-Tolerant Service Composition (Abstract)

pp. 507-514

PDF

Modular Checking of C Programs Using SAT-Based Bounded Model Checker (Abstract)

Yuusuke Hashimoto

Shin Nakajima

pp. 515-522

PDF

Selecting Usability Evaluation Methods for Software Process Descriptions (Abstract)

pp. 523-529

PDF

Author Index (PDF)

pp. 530-532

Roster Page (PDF)

pp. 534