15. ASWEC 2004: Melbourne, Australia

@proceedings{DBLP:conf/aswec/2004,
  title     = {15th Australian Software Engineering Conference (ASWEC 2004),
               13-16 April 2004, Melbourne, Australia},
  booktitle = {Australian Software Engineering Conference},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2089-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote

• Philippe Kruchten:
  Putting the "Engineering" into "Software Engineering". 2-9
  

Requirements Engineering

• Muhammad Ali Babar, Didar Zowghi:
  Developing a Requirements Management Toolset: Lessons Learned. 10-19
  
• Kevin Chan, Leon Sterling, Shanika Karunasekera:
  Agent-Oriented Software Analysis. 20-27
  
• Nur Nurmuliani, Didar Zowghi, Sue Fowell:
  Analysis of Requirements Volatility during Software Development Life Cycle. 28-39
  

Measurement and Project Management

• Marcus A. S. Boxall, Saeed Araban:
  Interface Metrics for Reusability Analysis of Components. 40-51
  
• Jacky Keung, D. Ross Jeffery, Barbara Kitchenham:
  The Challenge of Introducing a New Software Cost Estimation Technology into a Small Software Organisation. 52-59
  
• Geoffrey G. Roy:
  A Risk Management Framework for Software Engineering Practice. 60-69
  

Formal Methods

• Doug Goldson:
  An Experiment in the Design of Distributed Programs. 70-76
  
• Tim McComb, Graeme Smith:
  Architectural Design in Object-Z. 77-86
  
• Soon-Kyeong Kim, David A. Carrington:
  A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. 87-95
  

Testing

• Padmanabhan Krishnan:
  Uniform Descriptions for Model Based Testing. 96-105
  
• James R. Birt, Renate Sitte:
  Optimizing Testing Efficiency with Error-Prone Path Identification and Genetic Algorithms. 106-115
  
• S. P. Ng, Tafline Murnane, Karl Reed, D. Grant, T. Y. Chen:
  A Preliminary Survey on Software Testing Practices in Australia. 116-127
  

Knowledge-Based Approaches

• Felicia Kurniawati, D. Ross Jeffery:
  The Long-term Effects of an EPG/ER in a Small Software Organisation. 128-136
  
• James Ward, Aybüke Aurum:
  Knowledge Management in Software Engineering - Describing the Process. 137-146
  
• Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna:
  Combining Agent-Oriented Conceptual Modelling with Formal Methods. 147-157
  

Programming Languages and Constructs

• Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel:
  Enforcing System-Wide Properties. 158-167
  
• Xiaoshan Li, Zhiming Liu, Jifeng He:
  A Formal Semantics of UML Sequence Diagram. 168-177
  
• Paul A. Bailes, Colin J. M. Kemp:
  Obstacles to a Totally Functional Programming Style. 178-189
  

Panel

• Leon Sterling:
  Accrediting Software Engineering Courses. 190-191
  

Keynote

• Ian J. Hayes:
  Towards Platform-Independent Real-Time Systems. 192-201
  

Maintenance and Reuse

• Xin Zhang, Chang Xu, Beihong Jin:
  Building Extensible and High Performance Distributed Transaction Service. 202-210
  
• Flora Dilys Salim, Rosanne Price, Shonali Krishnaswamy, Maria Indrawan:
  UML Documentation Support for XML Schema. 211-220
  
• Peter Parkin:
  An Exploratory Study of Code and Document Interactions during Task-directed Program Comprehension. 221-231
  

Analysis and Verification

• Daniel Powell:
  Tool Support for Verification-Based Software Inspection. 232-240
  
• Arunchandar Vasan, Atif M. Memon:
  ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation. 241-250
  
• Alex Potanin, James Noble, Robert Biddle:
  Snapshot Query-Based Debugging. 251-261
  

Teaching and Training

• April Nixon, John C. Grundy:
  Reciprocity: an Integrated, Continuous Approach to Software Training Authoring, Delivery and Monitoring. 262-270
  
• Tor Stålhane, Cat Kutay, Hiyam Al-Kilidar, D. Ross Jeffery:
  Teaching the Process of Code Review. 271-278
  
• Atiq Chowdhury, Lesley Pek Wee Land:
  The Impact of Training-by-Examples on Inspection Performance Using Two Laboratory Experiments. 279-289
  

Architecture

• Feras T. Dabous, Fethi A. Rabhi, Hairong Yu:
  Using Software Architectures and Design Patterns for Developing Distributed Applications. 290-299
  
• John C. Grundy, Zhong Wei, Radu Nicolescu, Yuhong Cai:
  An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client Architectures. 300-308
  
• Muhammad Ali Babar, Liming Zhu, D. Ross Jeffery:
  A Framework for Classifying and Comparing Software Architecture Evaluation Methods. 309-319
  

Analysis and Verification

• Allan Loh, Mike Robey:
  Generating Web Applications from Use Case Scenarios. 320-328
  
• Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li:
  Linking UML Models of Design and Requirement. 329-338
  
• Weanna Sutandiyo, Mohan Baruwal Chhetri, Shonali Krishnaswamy, Seng Wai Loke:
  Experiences with Software Engineering of Mobile Agent Applications. 339-349
  

Process

• Torgeir Dingsøyr, Nils Brede Moe:
  The Process Workshop: A Tool to Define Electronic Process Guides in Small Software Companies. 350-357
  
• Khaled M. Khan, Jun Han:
  A Process Framework for Characterising Security Properties of Component-Based Software Systems. 358-367
  
• Aileen Cater-Steel:
  Low-rigour, Rapid Software Process Assessments for Small Software Development Firms. 368-378