The Community for Technology Leaders
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
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)

Didar Zowghi , University of Technology - Sydney
Muhammad Ali Babar , National ICT Australia Ltd. and University of New South Wales, Australia
pp. 10

Agent-Oriented Software Analysis (Abstract)

Leon Sterling , University of Melbourne
Shanika Karunasekera , University of Melbourne
Kevin Chan , University of Melbourne
pp. 20

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

Didar Zowghi , University of Technology, Sydney
Sue Fowell , University of Technology, Sydney
N Nurmuliani , 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
Barbara Kitchenham , The University of New South Wales
Ross Jeffery , 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

Accrediting software engineering courses (Abstract)

L. Sterling , University of Melbourne
pp. 190
Session 1C: Formal Methods

Architectural Design in Object-Z (Abstract)

Graeme Smith , The University of Queensland
Tim McComb , 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)

T. Y. Chen , Swinburne University of Technology, Australia
S. P. Ng , Swinburne University of Technology, Australia
D. Grant , Swinburne University of Technology, Australia
T. Murnane , La Trobe University, Australia
K. Reed , La Trobe University, 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)

Ayb? Aurum , The University of New South Wales
James Ward , The University of New South Wales
pp. 137

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

Aneesh Krishna , University of Wollongong, Australia
Sergiy A. Vilkomir , University of Wollongong, Australia
Aditya K. Ghose , University of Wollongong, Australia
pp. 147
Session 2C: Programming Languages and Constructs

Enforcing System-Wide Properties (Abstract)

Michael Eichberg , Darmstadt Universtiy of Technology, Germany
Karl Matthias Hamel , Darmstadt Universtiy of Technology, Germany
Thorsten Sch?fer , Darmstadt Universtiy of Technology, Germany
Claus Beringer , Darmstadt Universtiy of Technology, Germany
Mira Mezini , Darmstadt Universtiy of Technology, Germany
pp. 158

A Formal Semantics of UML Sequence Diagram (Abstract)

Zhiming Liu , United Nations University, Macau; University of Leicester, UK
He Jifeng , United Nations University, Macau
Xiaoshan Li , University of Macau, 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)

Beihong Jin , The Chinese Academy of Sciences, Beijing, China
Xin Zhang , The Chinese Academy of Sciences, Beijing, China
Chang Xu , The Chinese Academy of Sciences, Beijing, China
pp. 202

UML Documentation Support for XML Schema (Abstract)

Rosanne Price , Monash University, Victoria, Australia
Flora Dilys Salim , Monash University, Victoria, Australia
Maria Indrawan , Monash University, Victoria, Australia
Shonali Krishnaswamy , Monash University, Victoria, Australia
pp. 211
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)

Atif M. Memon , University of Maryland, College Park
Arunchandar Vasan , University of Maryland, College Park
pp. 241

Snapshot Query-Based Debugging (Abstract)

Robert Biddle , Victoria University of Wellington, New Zealand
Alex Potanin , Victoria University of Wellington, New Zealand
James Noble , 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)

Lesley Pek Wee Land , The University Of New South Wales, Australia
Atiq Chowdhury , The University Of New South Wales, Australia
pp. 279
Session 4A: Architecture

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

Hairong Yu , University of New South Wales, Sydney, Australia
Feras T. Dabous , University of New South Wales, Sydney, Australia
Fethi A. Rabhi , 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
Yuhong Cai , University of Auckland, New Zealand
Radu Nicolescu , University of Auckland, New Zealand
Zhong Wei , University of Auckland, New Zealand
pp. 300

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

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
Muhammad Ali Babar , 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)

Xiaoshan Li , University of Macau, Macau
Zhiming Liu , United Nations University, Macau; University of Leicester, UK
Jifeng He , United Nations University, Macau
Jing Liu , United Nations University, Macau; Shanghai University, China
pp. 329

Experiences with Software Engineering of Mobile Agent Applications (Abstract)

Shonali Krishnaswamy , Monash University
Seng Wai Loke , Monash University
Mohan Baruwal Chhetri , Monash University
Weanna Sutandiyo , Monash University
pp. 339
Session 4C: Process

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
81 ms
(Ver 3.3 (11022016))