CSDL - Proceedings A

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Table of Contents (PDF)

pp. v-vii

Message from the General Chairs (PDF)

pp. viii

Message from the Research Programme Chair (PDF)

pp. ix

Message from the Industry Programme Chairs (PDF)

pp. x

Steering Committee (PDF)

pp. xi

Organising Committee (PDF)

pp. xii-xiii

Research Programme Committee (PDF)

pp. xiv-xv

Industry Programme Committee (PDF)

pp. xvi

Research Paper Reviewers (PDF)

pp. xvii

Keynote Presentation 1 (PDF)

pp. xviii

Keynote Presentation 2 (PDF)

pp. xix

Keynote Presentation 3 (PDF)

pp. xx

Invited Presentation 1 (PDF)

pp. xxi

Invited Presentation 2 (PDF)

pp. xxii-xxiii

Sponsors (PDF)

pp. xxiv-xxvi

Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation (Abstract)

Brijesh Dongol

Ian J. Hayes

pp. 3-12

PDF

Simulating Software Evolution with Varying Numbers of Developers and Validation Using OSS (Abstract)

pp. 13-22

PDF

From Requirements to Embedded Software - Formalising the Key Steps (Abstract)

Toby Myers

R. Geoff Dromey

pp. 23-33

PDF

Change Propagation Analysis Using Domain Information (Abstract)

pp. 34-43

PDF

Model-Driven Code Generation for Secure Smart Card Applications (Abstract)

pp. 44-53

PDF

Towards Specification Based Testing for Semantic Web Services (Abstract)

pp. 54-63

PDF

Supporting Multi-path UI Development with Vertical Refinement (Abstract)

Judy Bowen

Steve Reeves

pp. 64-72

PDF

Objectivity in Research: Challenges from the Evidence-Based Paradigm (Abstract)

pp. 73-80

PDF

Critic Authoring Templates for Specifying Domain-Specific Visual Language Tool Critics (Abstract)

Jun Huh

pp. 81-90

PDF

How Fields are Used in Java: An Empirical Study (Abstract)

Ewan Tempero

pp. 91-100

PDF

A Framework for Scope, Cost and Effort Estimation for Service Oriented Architecture (SOA) Projects (Abstract)

Liam O'Brien

pp. 101-110

PDF

Integrated Data Mapping for a Software Meta-tool (Abstract)

Jun Huh

pp. 111-120

PDF

Hermes: A Tool for Testing Mobile Device Applications (Abstract)

pp. 121-130

PDF

Semantic Impact and Faults in Source Code Changes: An Empirical Study (Abstract)

pp. 131-141

PDF

Scalable Emulation of Enterprise Systems (Abstract)

Jun Han

pp. 142-151

PDF

A Perspective-Based Model of Quality for Software Engineering Processes (Abstract)

Trent Kroeger

Neil Davidson

pp. 152-161

PDF

An Approach for Comparison of Architecture Level Change Impact Analysis Methods and Their Relevance in Web Systems Evolution (Abstract)

pp. 162-172

PDF

Dynamic Relational Behaviour for Large-Scale Systems (Abstract)

pp. 173-182

PDF

Dynamic Service Selection for Service Composition with Time Constraints (Abstract)

Azlan Ismail

Jun Yan

Jun Shen

pp. 183-190

PDF

A Multi Faceted Management Interface for Web Services (Abstract)

Justin King

Alan Colman

pp. 191-199

PDF

The Significance of Participant Experience when Evaluating Software Inspection Techniques (Abstract)

pp. 200-209

PDF

A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development (Abstract)

pp. 210-219

PDF

RE-UML: An Extension to UML for Specifying Component-Based Software System (Abstract)

Sajjad Mahmood

Richard Lai

pp. 220-228

PDF

A Conceptual Model of Software Engineering Research Approaches (Abstract)

Shayne Flint

pp. 229-236

PDF

Inter-agent Data Flow Analysis of Abstract State Machines (Abstract)

Alessandra Cavarra

pp. 237-245

PDF

Connector-Driven Process for the Gradual Evolution of Component-Based Software (Abstract)

pp. 246-255

PDF

Formal Semantics Based Translator Generation and Tool Development in Practice (Abstract)

pp. 256-266

PDF

Extending Process Improvement into a New Organizational Unit (Abstract)

pp. 267-276

PDF

Assuring Lock Usage in Multithreaded Programs with Fractional Permissions (Abstract)

Yang Zhao

John Boyland

pp. 277-286

PDF

A Formal Perspective for Service Coordination Framework in Service Oriented Architecture (Abstract)

Qin Li

Huibiao Zhu

Jifeng He

pp. 287-296

PDF

Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language (Abstract)

pp. 297-306

PDF

Risk Implications of Software Project Organization Structures (Abstract)

Paul L. Bannerman

pp. 307-316

PDF

Component Coordination in GLoo (Abstract)

Jean-Guy Schneider

Markus Lumpe

pp. 317-326

PDF

Software Development Cost Estimation Using Analogy: A Review (Abstract)

Jacky Keung

pp. 327-336

PDF

WAD Workflow System: Data-Centric Workflow System (Abstract)

pp. 337-344

PDF

Qualitative vs. Quantitative Software Process Simulation Modeling: Conversion and Comparison (Abstract)

pp. 345-354

PDF

Author Index (PDF)

pp. 355-356

Publisher's Information (PDF)

pp. 358