The Community for Technology Leaders
Software Engineering Conference, Australian (2007)
Melbourne, Australia
Apr. 10, 2007 to Apr. 13, 2007
ISSN: 1530-0803
ISBN: 0-7695-2778-7
TABLE OF CONTENTS
Introduction
Keynotes

Modeling Change as a First-Class Entity (PDF)

Oscar Nierstrasz , University of Bern, Switzerland
pp. 3

Engineering Large-Scale Software-Intensive Systems (PDF)

R. Geoff Dromey , Griffith University, Australia
pp. 4-6
Software Architecture

An Asset-Based Architecture Design Methodology for Rapid Telecom Service Delivery Platform Development (Abstract)

Xiaoyan Chen , IBM China Research Lab, China
Chun Ying , IBM China Research Lab, China
Qiming Tian , IBM China Research Lab, China
Jun Shen , IBM China Research Lab, China
Ken Chen , IBM China Research Lab, China
pp. 7-16

A Pattern-Driven Process Model for Quality-Centered Software Architecture Design--A Case Study on Usability-Centered Design (Abstract)

Jukka Kaartinen , Ionific Ltd., Finland
Kai Koskimies , Tampere University of Technology, Finland
Jarmo Palviainen , Tampere University of Technology, Finland
pp. 17-26

Prerequisites for Successful Architectural Knowledge Sharing (Abstract)

Patricia Lago , Vrije Universiteit Amsterdam, The Netherlands
Rik Farenhorst , Vrije Universiteit Amsterdam, The Netherlands
Hans van Vliet , Vrije Universiteit Amsterdam, The Netherlands
pp. 27-38
Adaptive and Reconfigurable Software Architectures

Dynamic Protocol Aggregation and Adaptation for Service-Oriented Computing (Abstract)

Alan Colman , Swinburne University of Technology, Australia
Jean-Guy Schneider , Swinburne University of Technology, Australia
Linh Duy Pham , Swinburne University of Technology, Australia
pp. 39-48

A Configurable Event Correlation Architecture for Adaptive J2EE Applications (Abstract)

Ian Gorton , Pacific Northwest National Laboratory, USA
Yan Liu , National ICT Australia
Vinh Khanh Le , University of Technology Sydney, Australia
pp. 49-58

Influence Control for Dynamic Reconfiguration (Abstract)

Wei Li , Central Queensland University, Australia
Zhikun Zhao , Central Queensland University, Australia
pp. 59-70
Service-Oriented Software Systems

A Formal Model of Service-Oriented Design Structure (Abstract)

Heinz W. Schmidt , RMIT University, Australia
Caspar Ryan , RMIT University, Australia
Keith Frampton , RMIT University, Australia
Mikhail Perepletchikov , RMIT University, Australia
pp. 71-80

Web Service Recommendation Based on Client-Side Performance Estimation (Abstract)

Shanika Karunasekera , University of Melbourne, Australia
Niko Thio , University of Melbourne, Australia
pp. 81-89

Tool Support for BPEL Verification in ActiveBPEL Engine (Abstract)

Yi Qian , East China Normal University, China
Huibiao Zhu , East China Normal University, China
Chao Cai , Peking University, China
Geguang Pu , East China Normal University, China
Yuming Xu , East China Normal University, China
Zheng Wang , East China Normal University, China
pp. 90-100
Object-Oriented Software Engineering

Supporting OO Design Heuristics (Abstract)

Sarah Frater , University of Canterbury, New Zealand
Warwick Irwin , University of Canterbury, New Zealand
Cong Phuoc Huynh , University of Canterbury, New Zealand
Neville Churcher , University of Canterbury, New Zealand
pp. 101-110

Using Stealth Mixins to Achieve Modularity (Abstract)

Robert Strandh , Universite Bordeaux 1, France
Gilbert Baumann , base engineering, Germany
John Hamer , University of Auckland, New Zealand
pp. 111-116

Suitability of Object and Aspect Oriented Languages for Software Maintenance (Abstract)

Ed Kazmierczak , The University of Melbourne, Australia
Peter Schachte , The University of Melbourne, Australia
Khalid Al-Jasser , The University of Melbourne, Australia
pp. 117-128
Knowledge-Based Software Engineering

Using Social Networking and Semantic Web Technology in Software Engineering--Use Cases, Patterns, and a Case Study (Abstract)

Nathan Jones , Institute of Information Sciences and Technology, New Zealand
Jens Dietrich , Institute of Information Sciences and Technology, New Zealand
pp. 129-136

OntoMove: A Knowledge Based Framework for Semantic Requirement Profiling and Resource Acquisition (Abstract)

Mehul Bhatt , La Trobe University, Australia
Wenny Rahayu , La Trobe University, Australia
Carlo Wouters , La Trobe University, Australia
Sury Prakash Soni , La Trobe University, Australia
pp. 137-146

Reusable SW Requirements Development Process: Embedded SW Industry Experiences (Abstract)

Dongcho Jo , Samsung Electronics
Seungyun Lee , Samsung Electronics
Hyunmin Ko , Samsung Electronics
Junho Jeong , Samsung Electronics
Kangtae Kim , Samsung Electronics
Myungjin Han , Samsung Electronics
pp. 147-158
Software Performance

Explicitly Controlling the Fair Service for Busy Web Servers (Abstract)

Shiping Chen , CSIRO Australia
John Zic , CSIRO Australia
David Levy , University of Sydney, Australia
Zhanwen Li , University of Sydney, Australia
pp. 159-168

Benchmark Generation Using Domain Specific Modeling (Abstract)

Liming Zhu , National ICT Australia Ltd, Australia
Yan Liu , National ICT Australia Ltd, Australia
Ngoc Bao Bui , University of New South Wales, Australia
Ian Gorton , Pacific Northwest National Laboratory, USA
pp. 169-180
Formal Methods

Formal Validation of Hierarchical State Machines against Expectations (Abstract)

Ian Toyn , University of York, UK
Andy Galloway , University of York, UK
pp. 181-190

A Kleene Algebra Framework for Data Flow Analysis (Abstract)

Therrezinha Fernandes , Universite Laval, Canada
pp. 201-210

Timed Behavior Trees and Their Application to Verifying Real-Time Systems (Abstract)

Lars Grunske , University of Queensland, Australia
Robert Colvin , University of Queensland, Australia
Kirsten Winter , University of Queensland, Australia
pp. 211-222
Software Analysis

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks (Abstract)

John Ngui , The University of Queensland, Australia
Paul Strooper , The University of Queensland, Australia
Margaret Wojcicki , The University of Queensland, Australia
Luke Wildman , The University of Queensland, Australia
pp. 223-232

Obstacles to Comprehension in Usage Based Reading (Abstract)

David A. McMeekin , Curtin University of Technology, Australia
Michael C. Robey , Curtin University of Technology, Australia
David J.A. Cooper , Curtin University of Technology, Australia
Brian R. von Konsky , Curtin University of Technology, Australia
pp. 233-244
Software Testing

Managing Conflicts When Using Combination Strategies to Test Software (Abstract)

Mats Grindal , University of Skovde, Sweden
Jeff Offutt , George Mason University, USA
Jonas Mellin , University of Skovde, Sweden
pp. 255-264

Enhancing Adaptive Random Testing through Partitioning by Edge and Centre (Abstract)

Huai Liu , Swinburne University of Technology, Australia
Tsong Yueh Chen , Swinburne University of Technology, Australia
Fei-Ching Kuo , Swinburne University of Technology, Australia
pp. 265-273

On the Learnability of Two Representations of Equivalence Partitioning and Boundary Value Analysis (Abstract)

Richard Hall , La Trobe University, Australia
Tafline Murnane , La Trobe University, Australia
Karl Reed , La Trobe University, Australia
pp. 274-283

Model-Based Security Vulnerability Testing (Abstract)

Kelvin J. Ross , K.J. Ross & Associates Pty. Ltd., Australia
Padmanabhan Krishnan , Bond University, Australia
Percy A. Pari Salas , Bond University, Australia
pp. 284-296
Software and Tool Usability

Reflection as a Principle for Better Usability (Abstract)

Christof Lutteroth , The University of Auckland, New Zealand
Gerald Weber , The University of Auckland, New Zealand
pp. 297-306

Improving Usability of Software Refactoring Tools (Abstract)

Paul Strooper , The University of Queensland, Australia
David Carrington , The University of Queensland, Australia
Erica Mealy , The University of Queensland, Australia
Peta Wyeth , The University of Queensland, Australia
pp. 307-318
Software Metrics

Measuring the Strength of Indirect Coupling (Abstract)

Ewan Tempero , The University of Auckland, New Zealand
Hong Yul Yang , The University of Auckland, New Zealand
pp. 319-328

Coupling Metrics for Predicting Maintainability in Service-Oriented Designs (Abstract)

Mikhail Perepletchikov , RMIT University, Australia
Zahir Tari , RMIT University, Australia
Keith Frampton , RMIT University, Australia
Caspar Ryan , RMIT University, Australia
pp. 329-340
Project Estimation

Adjustable Cost Estimation Model for COTS-Based Development (Abstract)

Poom Naunchan , Chulalongkorn University, Thailand
Daricha Sutivong , Chulalongkorn University, Thailand
pp. 341-348

Combining Estimates with Planning Poker--An Empirical Study (Abstract)

Kjetil Molokken-Ostvold , Simula Research Laboratory,Norway
Nils Christian Haugen , Objectnet, Norway
pp. 349-358

The Impact of Irrelevant Information on Estimates of Software Development Effort (Abstract)

Stein Grimstad , Simula Research Laboratory and University of Oslo, Norway
Magne Jorgensen , Simula Research Laboratory, Norway
pp. 359-368
Project Management

Planning Software Project Success with Semi-Quantitative Reasoning (Abstract)

He Zhang , University of New South Wales, Australia; National ICT Australia
Barbara Kitchenham , National ICT Australia
Ross Jeffery , University of New South Wales, Australia; National ICT Australia
pp. 369-378

Factors in Multimedia Project and Process Management--Australian Survey Findings (Abstract)

Anne Hannington , La Trobe University, Australia
Karl Reed , La Trobe University, Australia
pp. 379-388

Software Project Risk in the Public Sector (Abstract)

Paul L. Bannerman , National ICT Australia Ltd.
pp. 389-398

NextMove: A Framework for Distributed Task Coordination (Abstract)

Philippe B. Kruchten , University of British Columbia, Canada
David K.M. Mak , University of British Columbia, Canada
pp. 399-408
Author Index

Author Index (PDF)

pp. 409
104 ms
(Ver 3.1 (10032016))