20. ASWEC 2009: Gold Cost, Australia

• Brijesh Dongol, Ian J. Hayes:
  Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. 3-12
  
• Benjamin Stopford, Steve Counsell, E. Nasseri:
  Simulating Software Evolution with Varying Numbers of Developers and Validation Using OSS. 13-22
  
• Toby Myers, R. Geoff Dromey:
  From Requirements to Embedded Software - Formalising the Key Steps. 23-33
  
• Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff:
  Change Propagation Analysis Using Domain Information. 34-43
  
• Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif:
  Model-Driven Code Generation for Secure Smart Card Applications. 44-53
  
• M. Shaban Jokhio, Gillian Dobbie, Jing Sun:
  Towards Specification Based Testing for Semantic Web Services. 54-63
  
• Judy Bowen, Steve Reeves:
  Supporting Multi-path UI Development with Vertical Refinement. 64-72
  
• Stuart M. Charters, David Budgen, Mark Turner, Barbara Kitchenham, Pearl Brereton, Stephen G. Linkman:
  Objectivity in Research: Challenges from the Evidence-Based Paradigm. 73-80
  
• Norhayati Mohd. Ali, John G. Hosking, Jun Huh, John C. Grundy:
  Critic Authoring Templates for Specifying Domain-Specific Visual Language Tool Critics. 81-90
  
• Ewan D. Tempero:
  How Fields are Used in Java: An Empirical Study. 91-100
  
• Liam O'Brien:
  A Framework for Scope, Cost and Effort Estimation for Service Oriented Architecture (SOA) Projects. 101-110
  
• Jun Huh, John C. Grundy, John G. Hosking, Karen Na-Liu Li, Robert Amor:
  Integrated Data Mapping for a Software Meta-tool. 111-120
  
• Sakura She, Sasindran Sivapalan, Ian Warren:
  Hermes: A Tool for Testing Mobile Device Applications. 121-130
  
• Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry:
  Semantic Impact and Faults in Source Code Changes: An Empirical Study. 131-141
  
• Cameron Hine, Jean-Guy Schneider, Jun Han, Steven Versteeg:
  Scalable Emulation of Enterprise Systems. 142-151
  
• Trent Kroeger, Neil Davidson:
  A Perspective-Based Model of Quality for Software Engineering Processes. 152-161
  
• Zafar Mehboob, Didar Zowghi, David Lowe:
  An Approach for Comparison of Architecture Level Change Impact Analysis Methods and Their Relevance in Web Systems Evolution. 162-172
  
• Kirsten Winter, Robert Colvin, R. Geoff Dromey:
  Dynamic Relational Behaviour for Large-Scale Systems. 173-182
  
• Azlan Ismail, Jun Yan, Jun Shen:
  Dynamic Service Selection for Service Composition with Time Constraints. 183-190
  
• Justin King, Alan W. Colman:
  A Multi Faceted Management Interface for Web Services. 191-199
  
• David A. McMeekin, Brian R. von Konsky, Michael C. Robey, David J. A. Cooper:
  The Significance of Participant Experience when Evaluating Software Inspection Techniques. 200-209
  
• Liwei Shen, Xin Peng, Wenyun Zhao:
  A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development. 210-219
  
• Sajjad Mahmood, Richard Lai:
  RE-UML: An Extension to UML for Specifying Component-Based Software System. 220-228
  
• Shayne Flint:
  A Conceptual Model of Software Engineering Research Approaches. 229-236
  
• Alessandra Cavarra:
  Inter-agent Data Flow Analysis of Abstract State Machines. 237-245
  
• Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier:
  Connector-Driven Process for the Gradual Evolution of Component-Based Software. 246-255
  
• Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson:
  Formal Semantics Based Translator Generation and Tool Development in Practice. 256-266
  
• Uolevi Nikula, Petri Oinonen, Lea Hannola:
  Extending Process Improvement into a New Organizational Unit. 267-276
  
• Yang Zhao, John Boyland:
  Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. 277-286
  
• Qin Li, Huibiao Zhu, Jifeng He:
  A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. 287-296
  
• Huibiao Zhu, Yongxin Zhao, Jifeng He:
  Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. 297-306
  
• Paul L. Bannerman:
  Risk Implications of Software Project Organization Structures. 307-316
  
• Jean-Guy Schneider, Markus Lumpe:
  Component Coordination in GLoo. 317-326
  
• Jacky Keung:
  Software Development Cost Estimation Using Analogy: A Review. 327-336
  
• Andrew J. Robinson, J. Wenny Rahayu, Tharam S. Dillon:
  WAD Workflow System: Data-Centric Workflow System. 337-344
  
• He Zhang, Barbara Kitchenham, D. Ross Jeffery:
  Qualitative vs. Quantitative Software Process Simulation Modeling: Conversion and Comparison. 345-354