CSDL - 2004 Australian Software Engineering Conference (ASWEC

Software Engineering Conference, Australian (2004)

Melbourne, Australia

Apr. 13, 2004 to Apr. 16, 2004

ISSN: 1530-0803

ISBN: 0-7695-2089-8

TABLE OF CONTENTS

Proceedings 2004 Australian Software Engineering Conference (PDF)

pp. 0_1

Proceedings. 2004 Australian Software Engineering Conference (PDF)

pp. 0

Foreword by the general chair (PDF)

pp. 0_8

Foreword by the General Chair (PDF)

pp. viii

Message from the Program Chair (PDF)

pp. ix

Organising Committee (PDF)

pp. x

Program Committee (PDF)

pp. xi

Additional Reviewers (PDF)

pp. xii

Keynote

Putting the "Engineering" into "Software Engineering" (Abstract)

Philippe Kruchten , University of British Columbia, Vancouver, Canada

pp. 2

Session 1A: Requirements Engineering

Developing a Requirements Management Toolset: Lessons Learned (Abstract)

Muhammad Ali Babar , National ICT Australia Ltd. and University of New South Wales, Australia

Didar Zowghi , University of Technology - Sydney

pp. 10

Agent-Oriented Software Analysis (Abstract)

Kevin Chan , University of Melbourne

Leon Sterling , University of Melbourne

Shanika Karunasekera , University of Melbourne

pp. 20

Analysis of Requirements Volatility during Software Development Life Cycle (Abstract)

N Nurmuliani , University of Technology, Sydney

Didar Zowghi , University of Technology, Sydney

Sue Fowell , University of Technology, Sydney

pp. 28

Session 1B: Measurement and Project Management

Interface Metrics for Reusability Analysis of Components (Abstract)

Marcus A. S. Boxall , The University of Melbourne

Saeed Araban , The University of Melbourne

pp. 40

The Challenge of Introducing a New Software Cost Estimation Technology into a Small Software Organisation (Abstract)

Jacky Keung , The University of New South Wales

Ross Jeffery , The University of New South Wales

Barbara Kitchenham , The University of New South Wales

pp. 52

A Risk Management Framework for Software Engineering Practice (Abstract)

Geoffrey G. Roy , Murdoch University, Perth, Australia

pp. 60

Session 1C: Formal Methods

An Experiment in the Design of Distributed Programs (Abstract)

Doug Goldson , University of Queensland, Australia

pp. 70

Architectural Design in Object-Z (Abstract)

Tim McComb , The University of Queensland

Graeme Smith , The University of Queensland

pp. 77

A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models (Abstract)

Soon-Kyeong Kim , The University of Queensland, St Lucia, Australia

David Carrington , The University of Queensland, St Lucia, Australia

pp. 87

Session 2A: Testing

Uniform Descriptions for Model Based Testing (Abstract)

Padmanabhan Krishnan , Bond University, Australia

pp. 96

Optimizing Testing Efficiency with Error-Prone Path Identification and Genetic Algorithms (Abstract)

James R. Birt , Griffith University, Australia

Renate Sitte , Griffith University, Australia

pp. 106

A Preliminary Survey on Software Testing Practices in Australia (Abstract)

S. P. Ng , Swinburne University of Technology, Australia

T. Murnane , La Trobe University, Australia

K. Reed , La Trobe University, Australia

D. Grant , Swinburne University of Technology, Australia

T. Y. Chen , Swinburne University of Technology, Australia

pp. 116

Session 2B: Knowledge-Based Approaches

The Long-term Effects of an EPG/ER in a Small Software Organisation (Abstract)

Felicia Kurniawati , University of New South Wales, Australia

Ross Jeffery , University of New South Wales, Australia

pp. 128

Knowledge Management in Software Engineering - Describing the Process (Abstract)

James Ward , The University of New South Wales

Ayb? Aurum , The University of New South Wales

pp. 137

Combining Agent-Oriented Conceptual Modelling with Formal Methods (Abstract)

Sergiy A. Vilkomir , University of Wollongong, Australia

Aditya K. Ghose , University of Wollongong, Australia

Aneesh Krishna , University of Wollongong, Australia

pp. 147

Session 2C: Programming Languages and Constructs

Enforcing System-Wide Properties (Abstract)

Michael Eichberg , Darmstadt Universtiy of Technology, Germany

Mira Mezini , Darmstadt Universtiy of Technology, Germany

Thorsten Sch?fer , Darmstadt Universtiy of Technology, Germany

Claus Beringer , Darmstadt Universtiy of Technology, Germany

Karl Matthias Hamel , Darmstadt Universtiy of Technology, Germany

pp. 158

A Formal Semantics of UML Sequence Diagram (Abstract)

Xiaoshan Li , University of Macau, Macau

Zhiming Liu , United Nations University, Macau; University of Leicester, UK

He Jifeng , United Nations University, Macau

pp. 168

Obstacles to a Totally Functional Programming Style (Abstract)

Paul Bailes , The University of Queensland, Australia

Colin Kemp , The University of Queensland, Australia

pp. 178

Panel

Accrediting Software Engineering Courses (PDF)

Leon Sterling , University of Melbourne

pp. 190

Keynote

Towards Platform-Independent Real-Time Systems (Abstract)

Ian J. Hayes , University of Queensland, Brisbane, Australia

pp. 192

Session 3A: Maintenance and Reuse

Building Extensible and High Performance Distributed Transaction Service (Abstract)

Xin Zhang , The Chinese Academy of Sciences, Beijing, China

Chang Xu , The Chinese Academy of Sciences, Beijing, China

Beihong Jin , The Chinese Academy of Sciences, Beijing, China

pp. 202

UML Documentation Support for XML Schema (Abstract)

Flora Dilys Salim , Monash University, Victoria, Australia

Rosanne Price , Monash University, Victoria, Australia

Shonali Krishnaswamy , Monash University, Victoria, Australia

Maria Indrawan , Monash University, Victoria, Australia

pp. 211

An Exploratory Study of Code and Document Interactions during Task-directed Program Comprehension (Abstract)

Peter Parkin , University of New South Wales, Australia

pp. 221

Session 3B: Analysis and Verification

Tool Support for Verification-Based Software Inspection (Abstract)

Daniel Powell , Griffith University, Australia

pp. 232

ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation (Abstract)

Arunchandar Vasan , University of Maryland, College Park

Atif M. Memon , University of Maryland, College Park

pp. 241

Snapshot Query-Based Debugging (Abstract)

Alex Potanin , Victoria University of Wellington, New Zealand

James Noble , Victoria University of Wellington, New Zealand

Robert Biddle , Victoria University of Wellington, New Zealand

pp. 251

Session 3C: Teaching and Training

Reciprocity: an Integrated, Continuous Approach to Software Training Authoring, Delivery and Monitoring (Abstract)

April Nixon , University of Auckland, New Zealand

John Grundy , University of Auckland, New Zealand

pp. 262

Teaching the Process of Code Review (Abstract)

Tor Stalhane , Norwegian University of Science and Technology

Cat Kutay , University of new South Wales, Australia

Hiyam Al-Kilidar , University of new South Wales, Australia

Ross Jeffery , University of new South Wales, Australia; NICTA, Australia

pp. 271

The Impact of Training-by-Examples on Inspection Performance Using Two Laboratory Experiments (Abstract)

Atiq Chowdhury , The University Of New South Wales, Australia

Lesley Pek Wee Land , The University Of New South Wales, Australia

pp. 279

Session 4A: Architecture

Using Software Architectures and Design Patterns for Developing Distributed Applications (Abstract)

Feras T. Dabous , University of New South Wales, Sydney, Australia

Fethi A. Rabhi , University of New South Wales, Sydney, Australia

Hairong Yu , University of New South Wales, Sydney, Australia

pp. 290

An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client Architectures (Abstract)

John Grundy , University of Auckland, New Zealand

Zhong Wei , University of Auckland, New Zealand

Radu Nicolescu , University of Auckland, New Zealand

Yuhong Cai , University of Auckland, New Zealand

pp. 300

A Framework for Classifying and Comparing Software Architecture Evaluation Methods (Abstract)

Muhammad Ali Babar , National ICT Australia Ltd. and University of New South Wales, Australia

Liming Zhu , National ICT Australia Ltd. and University of New South Wales, Australia

Ross Jeffery , National ICT Australia Ltd. and University of New South Wales, Australia

pp. 309

Session 4B: Analysis and Verification

Generating Web Applications from Use Case Scenarios (Abstract)

Allan Loh , Curtin University of Technology, Western Australia

Mike Robey , Curtin University of Technology, Western Australia

pp. 320

Linking UML Models of Design and Requirement (Abstract)

Jing Liu , United Nations University, Macau; Shanghai University, China

Zhiming Liu , United Nations University, Macau; University of Leicester, UK

Jifeng He , United Nations University, Macau

Xiaoshan Li , University of Macau, Macau

pp. 329

Experiences with Software Engineering of Mobile Agent Applications (Abstract)

Weanna Sutandiyo , Monash University

Mohan Baruwal Chhetri , Monash University

Shonali Krishnaswamy , Monash University

Seng Wai Loke , Monash University

pp. 339

Session 4C: Process

The Process Workshop: A Tool to Define Electronic Process Guides in Small Software Companies (Abstract)

Torgeir Dings? , SINTEF

Nils Brede Moe , SINTEF

pp. 350

A Process Framework for Characterising Security Properties of Component-Based Software Systems (Abstract)

Khaled M. Khan , University of Western Sydney, Australia

Jun Han , Swinburne University of Technology, Australia

pp. 358

Low-rigour, Rapid Software Process Assessments for Small Software Development Firms (Abstract)

Aileen P. Cater-Steel , The University of Southern Queensland, Toowoomba, Australia

pp. 368

Author Index (PDF)

pp. 379