16. ASWEC 2005: Brisbane, Australia

Keynotes

• David Lorge Parnas:
  Document Driven Disciplined Development of Software. 2-3
  
• David Barbagallo:
  The Challenges of Managing a Global Software Engineering Capability: Theory to Practice. 4-
  
• John Gough:
  Virtual Machines, Managed Code and Component Technology. 5-12
  

Session 1A: Model Driven Development

• Anthony MacDonald, Daniel M. Russell, Brenton Atchison:
  Model-Driven Development within a Legacy System: An Industry Experience Report. 14-22
  
• Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He:
  Consistent Code Generation from UML Models. 23-30
  
• Jacky Estublier, Anca Daniela Ionita:
  Extending UML for Model Composition. 31-38
  

Session 1B: Requirements Engineering

• Pei Pei Kuan, Shanika Karunasekera, Leon Sterling:
  Improving Goal and Role Oriented Analysis for Agent Based Systems. 40-47
  
• Uolevi Nikula, Jorma Sajaniemi:
  Tackling the Complexity of Requirements Engineering Process Improvement by Partitioning the Improvement Task. 48-57
  
• Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas:
  Merging Requirements Views with Incompleteness and Inconsistency. 58-67
  

Session 1C: Project Management

• June M. Verner, Narciso Cerpa:
  Australian Software Development: What Software Project Management Practices Lead to Success? 70-77
  
• Hiyam Al-Kilidar, Peter Parkin, Aybüke Aurum, D. Ross Jeffery:
  Evaluation of Effects of Pair Work on Quality of Designs. 78-87
  
• Paul Lin, Alexander MacArthur, John Leaney:
  Defining Autonomic Computing: A Software Engineering Perspective. 88-97
  

Session 2A: Testing, Analysis, and Verification

• Soon-Kyeong Kim, Luke Wildman, Roger Duke:
  A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. 100-109
  
• Lipo Chan, Kai Jiang, Shanika Karunasekera:
  A Tool to Support Perspective Based Approach to Software Code Inspection. 110-117
  
• Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz:
  Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. 118-127
  

Session 2B: Formal Methods

• Chien-An Chen, Sara Kalvala, Jane Sinclair:
  A Process-Based Semantics for Message Sequence Charts with Data. 130-139
  
• Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo:
  A Formal Method for Program Slicing. 140-148
  
• Santiago Gómez, Hoang Duong:
  Towards a Schema Representation through Design Matrices. 149-158
  

Session 2C: Architecture 1

• Nelson Yap, Hau Chean Chiong, John C. Grundy, Rebecca Berrigan:
  Supporting Dynamic Software Tool Integration via Web Service-Based Components. 160-169
  
• Alan W. Colman, Jun Han:
  Operational Management Contracts for Adaptive Software Organisation. 170-179
  
• Warwick Irwin, Carl Cook, Neville I. Churcher:
  Parsing and Semantic Modelling for Software Engineering Applications. 180-189
  

Session 3A: Measurement and Experimentation

• Abdul Babar, John Potter:
  Adapting the Personal Software Process (PSP) to Formal Methods. 192-201
  
• Niko Thio, Shanika Karunasekera:
  Automatic Measurement of a QoS Metric for Web Service Recommendation. 202-211
  
• Hong Yul Yang, Ewan D. Tempero, Rebecca Berrigan:
  Detecting Indirect Coupling. 212-221
  

Session 3B: Formal Component Technology

• Colin J. Fidge, Peter Robinson, Steve Dunne:
  Refinement Laws for Verifying Library Subroutine Adaptation. 224-232
  
• David Hemer:
  Specification-Based Retrieval Strategies for Component Architectures. 233-242
  
• Jens Dietrich, Chris Elgar:
  A Formal Description of Design Patterns Using OWL. 243-250
  

Session 3C: Maintenance and Reuse

• Glenn Smith, Robert Smith, Aster Wardhani:
  Software Reuse across Robotic Platforms: Limiting the Effects of Diversity. 252-261
  
• Francesca Arcelli Fontana, Stefano Masiero, Claudia Raibulet, Francesco Tisato:
  A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition. 262-269
  
• Chang-ai Sun, Jun Zhou:
  ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based Applications. 270-280
  

Session 4A: Architecture 2

• Tariq Al-Naeem, Feras T. Dabous, Fethi A. Rabhi, Boualem Benatallah:
  Formulating the Architectural Design of Enterprise Applications as a Search Problem. 282-291
  
• Rob Barrow, Keith Frampton, Margaret Hamilton, Bruce Crossman:
  A Study of the In-Practice Application of a Commercial Software Architecture . 292-301
  
• Cameron Maxwell, Artem Parakhine, John Leaney:
  Practical Application of Formal Methods for Specification and Analysis of Software Architecture. 302-311
  

Session 4B: Education

• Jean-Guy Schneider, Lorraine Johnston, Philip Joyce:
  Curriculum Development in Educating Undergraduate Software Engineers -- Are Students Being Prepared for the Profession? 314-323
  
• Andrew Marrington, James M. Hogan, Richard Thomas:
  Quality Assurance in a Student-Based Agile Software Engineering Process. 324-331
  

Session 4C: Components

• Khaled M. Khan, Jun Han:
  Deriving Systems Level Security Properties of Component Based Composite Systems. 334-343
  
• John Potter, Abdelsalam Shanneb, Eric Yu:
  Demonstrating the Effectiveness of Exclusion Control for Components. 344-353