The Community for Technology Leaders
Software Engineering Conference, Australian (2006)
Sydney, Australia
Apr. 18, 2006 to Apr. 21, 2006
ISSN: 1530-0803
ISBN: 0-7695-2551-2
TABLE OF CONTENTS
Introduction
Keynotes

Software Product Lines: Reuse That Makes Business Sense (PDF)

Linda M. Northrop , Carnegie Mellon University, Pittsburgh, PA
pp. 3
Software Requirements and Design

An Agile Approach to Support Incremental Development of Requirements Specifications (Abstract)

Jose J. Pazos-Arias , University of Vigo, Spain
Belen Barragans-Martinez , University of Vigo, Spain
Martin Lopez-Nores , University of Vigo, Spain
Jorge Garcia-Duque , University of Vigo, Spain
pp. 9-18

Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt (Abstract)

Gianna Reggio , DISI, Universit`a di Genova, Italy
Christine Choppy , LIPN, Universit?e Paris XIII, France
pp. 19-28
Component Based Software Engineering

Compatibility Test for Coordination Aspects of Software Components (Abstract)

Antonia Albani , University of Augsburg, Germany
Johannes Maria Zaha , Queensland University of Technology, Brisbane, Australia
pp. 41-48

A Framework for Checking Behavioral Compatibility for Component Selection (Abstract)

Lei Wang , Bond University Gold Coast, Queensland, Australia
Padmanabhan Krishnan , Bond University Gold Coast, Queensland, Australia
pp. 49-60
Web Services and Service Oriented Systems

SwinDeW-S: Extending P2P Workflow Systems for Adaptive Composite Web Services (Abstract)

Jun Yan , University of Wollongong, Australia
Yun Yang , Swinburne University of Technology, Hawthorn, Melbourne, Australia,
Jun Shen , University of South Australia
pp. 61-69

A Runtime Monitoring and Validation Framework for Web Service Interactions (Abstract)

Yan Jin , Swinburne University of Technology, Melbourne, Victoria, Australia
Jun Han , Swinburne University of Technology, Melbourne, Victoria, Australia
Zheng Li , Swinburne University of Technology, Melbourne, Victoria, Australia
pp. 70-79

Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications (Abstract)

John Zic , CSIRO ICT Centre, Australia
Jenny Bhuiyan , CSIRO ICT Centre, Australia
Surya Nepal , CSIRO ICT Centre, Australia
pp. 80-89

A Coordinated Architecture for the Agent-based Service Level Agreement Negotiation ofWeb Service Composition (Abstract)

Mohan Baruwal Chhetri , Swinburne University of Technology, Australia
Ryszard Kowalczyk , Swinburne University of Technology, Australia
SukKeong Goh , Swinburne University of Technology, Australia
Jian Lin , Swinburne University of Technology, Australia
Jian Ying Zhang , Swinburne University of Technology, Australia
Jun Yan , University of Wollongong, Australia
pp. 90-99

Optimising Web Services Performance with Table Driven XML (Abstract)

Alex Ng , Macquarie University, North Ryde, NSW 2109, Australia
pp. 100-112
Software Patterns, Frameworks, and Architectures

Design of Agent-Oriented Pattern Templates (Abstract)

Shanika Karunasekera , University of Melbourne, Australia
Ayodele Oluyomi , University of Melbourne, Australia
Leon Sterling , University of Melbourne, Australia
pp. 113-121

A Framework for Evaluating Alternative Architectures and its Application to Financial Business Processes (Abstract)

Fethi A. Rabhi , University of New South Wales, Sydney NSW 2052 Australia
Feras T. Dabous , University of New South Wales, Sydney NSW 2052 Australia
pp. 122-131

A Service-Oriented Architecture for Software Process Technology (Abstract)

Therese Helland , Computas AS, Lysaker, Norway
John Hosking , Dept. of Electrical and Computer Engineering, University of Auckland, New Zealand
John Grundy , Dept. of Computer Science, University of Auckland, New Zealand
pp. 132-141

The Transparent Adaptation Approach to the Development of Awareness Mechanisms for Groupware (Abstract)

Minh Hong Tran , FICT, Swinburne University of Technology
Gitesh K. Raikundalia , ITArl, Victoria University
Yun Yang , FICT, Swinburne University of Technology
pp. 142-151

A Holistic Framework for Mobile Environments (Abstract)

Anders Magnus Andersen , La Trobe University, Victoria, Australia
Torab Torabi , La Trobe University, Victoria, Australia
pp. 152-158

Over-the-air Deployment of Applications in Multi-Platform Environments (Abstract)

Tore Fjellheim , Queensland University of Technology, Brisbane, Queensland
pp. 159-170
Software Security

Formally Analysing a Security Protocol for Replay Attacks (Abstract)

Colin J. Fidge , Queensland University of Technology, 4001, Australia
Benjamin W. Long , University of Queensland, 4072, Australia
pp. 171-180

Formal Verification of the IEEE 802.11i WLAN Security Protocol (Abstract)

Vallipuram Muthukkumarasamy , School of Information and Communication technology, Griffith University, Queensland, Australia
Elankayer Sithirasenan , Institute for Integrated and intelligent Systems, Griffith University, Queensland, Australia
Saad Zafar , Institute for Integrated and intelligent Systems, Griffith University, Queensland, Australia
pp. 181-190

Preventing SQL Injection Attacks in Stored Procedures (Abstract)

Ke Wei , Iowa State University
M. Muthuprasanna , Iowa State University
Suraj Kothari , Iowa State University
pp. 191-198

Assessing Security Properties of Software Components: A Software Engineer?s Perspective (Abstract)

Khaled M. Khan , University of Western Sydney, Australia
Jun Han , Swinburne University of Technology, Australia
pp. 199-210
Formal Methods

Derivation of Java Monitors (Abstract)

Brijesh Dongol , University of Queensland, Australia
pp. 211-220

Formal Refinement of Informal GUI Design Artefacts (Abstract)

Steve Reeves , University of Waikato, Hamilton, New Zealand
Judy Bowen , University of Waikato, Hamilton, New Zealand
pp. 221-230

Validating ORA-SS Data Models using Alloy (Abstract)

Gillian Dobbie , University of Auckland, New Zealand
Lin Wang , University of Auckland, New Zealand
Lindsay Groves , Victoria University of Wellington, New Zealand
Jing Sun , University of Auckland, New Zealand
pp. 231-242
Software Analysis

Model-based runtime analysis of distributed reactive systems (Abstract)

Christian Schallhart , Technische Universitat Munchen, Germany
Andreas Bauer , Technische Universitat Munchen, Germany
Martin Leucker , Technische Universitat Munchen, Germany
pp. 243-252

Well-Measuring Programs (Abstract)

Phil Cook , University of Queensland, Australia
Colin Fidge , Queensland University of Technology, Australia
pp. 253-261

Using Dependence Graphs to Assist Manual and Automated Object Oriented Software Inspections (Abstract)

Michael Harding , ADI Limited,Highway, Nedlands WA
Peter Woodward , Curtin University of Technology, Perth WA, Australia
Mun Wai Chan , Curtin University of Technology, Perth WA, Australia
David Cooper , Curtin University of Technology, Perth WA, Australia
Michael Robey , Curtin University of Technology, Perth WA, Australia
Gautam Mehra , Curtin University of Technology, Perth WA, Australia
Brian R. Von Konsky , Curtin University of Technology, Perth WA, Australia
pp. 262-269

Verifying Metamodel Coverage of Model Transformations (Abstract)

David Carrington , University of Queensland, St Lucia 4072, Australia
Soon-Kyeong Kim , University of Queensland, St Lucia 4072, Australia
Junhua Wang , University of Queensland, St Lucia 4072, Australia
pp. 270-282
Software Testing

Factors Affecting Software Testing Time Schedule (Abstract)

Heikki Kalviainen , Lappeenranta University of Technology
Ossi Taipale , Lappeenranta University of Technology
Kari Smolander , South Carelia Polytechnic, Finland
pp. 283-291

Tailoring of Black-Box Testing Methods (Abstract)

Tafline Murnane , La Trobe University, Bundoora, Australia
Richard Hall , La Trobe University, Bundoora, Australia
Karl Reed , La Trobe University, Bundoora, Australia
pp. 292-299

Efficient and Effective Random Testing Using the Voronoi Diagram (Abstract)

T. Y. Chen , Swinburne University of Technology, Australia
Robert Merkel , Swinburne University of Technology, Australia
pp. 300-299
Software Maintenance and Evolution

An agent-oriented approach to change propagation in software evolution (Abstract)

Lin Padgham , RMIT University, Australia
Khanh Hoa Dam , RMIT University, Australia
Michael Winikoff , RMIT University, Australia
pp. 309-318

Cascaded Refactoring for Framework Development and Evolution (Abstract)

Greg Butler , Concordia University, Montreal, Quebec, Canada
Lugang Xu , Concordia University, Montreal, Quebec, Canada
pp. 319-330
Software Engineering Tools

Evaluating software refactoring tool support (Abstract)

Erica Mealy , University of Queensland, Australia
Paul Strooper , University of Queensland, Australia
pp. 331-340

Lock Selection Made Easy (Abstract)

John Potter , University of New South Wales Sydney, Australia
Abdelsalam Shanneb , University of New South Wales Sydney, Australia
pp. 341-350

A Java Reuse Repository for Eclipse using LSI (Abstract)

Robert Amor , University of Auckland, New Zealand
Ewan Tempero , University of Auckland, New Zealand
Ming-Yang (Jerry) Lin , University of Auckland, New Zealand
pp. 351-362
Software Measurement and Experimentation

An Empirically-Based Criterion for Determining the Success of an Open-Source Project (Abstract)

Stephen R. Schach , Vanderbilt University, Nashville, TN
Dror G. Feitelson , Hebrew University, Jerusalem, Israel
Gillian Z. Heller , Hebrew University, Jerusalem, Israel
pp. 363-368

CodeRank: A New Family of Software Metrics (Abstract)

Blair Neate , University of Canterbury, Christchurch, New Zealand
Neville Churcher , University of Canterbury, Christchurch, New Zealand
Warwick Irwin , University of Canterbury, Christchurch, New Zealand
pp. 369-378

The Value of Architecturally Significant Information Extracted from Patterns for Architecture Evaluation: A Controlled Experiment (Abstract)

Muhammad Ali Babar , National ICT Australia Ltd. and University of New South Wales, Australia
Piyush Maheshwari , National ICT Australia Ltd. and University of New South Wales, Australia
Barbara Kitchenham , National ICT Australia Ltd. and University of New South Wales, Australia
pp. 379-390
Software Process

Qualitative Simulation Model for Software Engineering Process (Abstract)

Ross Jeffery , National ICT Australia
Ming Huo , National ICT Australia
He Zhang , National ICT Australia
Barbara Kitchenham , National ICT Australia
pp. 391-400

Agile Practices in Software Development - Experiences from Student Projects (Abstract)

Jean-Guy Schneider , Swinburne University of Technology, VIC , AUSTRALIA
Rajesh Vasa , Swinburne University of Technology, VIC , AUSTRALIA
pp. 401-410

Identifying Risks in XP Projects through Process Modelling (Abstract)

Diana Kirk , University of Auckland, New Zealand
Ewan Tempero , University of Auckland, New Zealand
pp. 411-420
Author Index

Author Index (PDF)

pp. 421
83 ms
(Ver )