The Community for Technology Leaders
Software Engineering Conference, Australian (2005)
Brisbane, Australia
Mar. 29, 2005 to Apr. 1, 2005
ISSN: 1530-0803
ISBN: 0-7695-2257-2
TABLE OF CONTENTS
Introduction
Introduction
Keynotes

Virtual Machines, Managed Code and Component Technology (Abstract)

John Gough , Queensland University of Technology
pp. 5-12
Session 1A: Model Driven Development

Model-Driven Development within a Legacy System: An Industry Experience Report (Abstract)

Anthony MacDonald , University of Queensland
Brenton Atchison , Invensys Rail Systems Australia
Danny Russell , University of Queensland
pp. 14-22

Consistent Code Generation from UML Models (Abstract)

Xiaoshan Li , University of Macau
He Jifeng , United Nations University and Peking University
Quan Long , United Nations University and Peking University
Zhiming Liu , United Nations University
pp. 23-30
Session 1B: Requirements Engineering

Improving Goal and Role Oriented Analysis for Agent Based Systems (Abstract)

Pei Pei Kuan , University of Melbourne
Shanika Rarunasekera , University of Melbourne
Leon Sterling , University of Melbourne
pp. 40-47
Session 1C: Project Management

Evaluation of Effects of Pair Work on Quality of Designs (Abstract)

Ross Jeffery , University of New South Wales and National ICT Australia
Hiyam Al-Kilidar , University of New South Wales
Peter Parkin , University of New South Wales
Ayb? Aurum , University of New South Wales
pp. 78-87

Defining Autonomic Computing: A Software Engineering Perspective (Abstract)

John Leaney , University of Technology - Sydney
Alexander MacArthur , University of Technology - Sydney
Paul Lin , University of Technology - Sydney
pp. 88-97
Session 2A: Testing, Analysis, and Verification

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems (Abstract)

Luke Wildman , University of Queensland
Soon-Kyeong Kim , University of Queensland
Roger Duke , University of Queensland
pp. 100-109

A Tool to Support Perspective Based Approach to Software Code Inspection (Abstract)

Shanika Karunasekera , University of Melbourne
Kai Jiang , University of Melbourne
Lipo Chan , University of Melbourne
pp. 110-117

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes (Abstract)

Juan J. Pardo , University of Castilla-La Mancha
Fernando Cuartero , University of Castilla-La Mancha
Valentín Valero , University of Castilla-La Mancha
Gregorio Díaz , University of Castilla-La Mancha
M. Carmen Ruiz , University of Castilla-La Mancha
pp. 118-127
Session 2B: Formal Methods

A Process-Based Semantics for Message Sequence Charts with Data (Abstract)

Jane Sinclair , University of Warwick
Chien-An Chen , University of Warwick
Sara Kalvala , University of Warwick
pp. 130-139

A Formal Method for Program Slicing (Abstract)

Baowen Xu , Southeast University and Jiangsu Institute of Software Quality
Jose Emilio Labra Gayo , University of Oviedo
Yingzhou Zhang , Southeast University and Jiangsu Institute of Software Quality
pp. 140-148

Towards a Schema Representation through Design Matrices (Abstract)

Hoang Duong , RMIT University
Santiago G?mez , RMIT University
pp. 149-158
Session 2C: Architecture 1

Supporting Dynamic Software Tool Integration via Web Service-Based Components (Abstract)

Hau Chean Chiong , University of Auckland
John Grundy , University of Auckland
Rebecca Berrigan , University of Auckland
Nelson Yap , University of Auckland
pp. 160-169

Operational Management Contracts for Adaptive Software Organisation (Abstract)

Jun Han , Swinburne University of Technology
Alan Colman , Swinburne University of Technology
pp. 170-179

Parsing and Semantic Modelling for Software Engineering Applications (Abstract)

Neville Churcher , University of Canterbury
Warwick Irwin , University of Canterbury
Carl Cook , University of Canterbury
pp. 180-189
Session 3A: Measurement and Experimentation

Adapting the Personal Software Process (PSP) to Formal Methods (Abstract)

John Potter , University of New South Wales
Abdul Babar , University of New South Wales
pp. 192-201

Automatic Measurement of a QoS Metric for Web Service Recommendation (Abstract)

Niko Thio , University of Melbourne
Shanika Karunasekera , University of Melbourne
pp. 202-211

Detecting Indirect Coupling (Abstract)

Hong Yul Yang , University of Auckland
Rebecca Berrigan , GFG Group Ltd
Ewan Tempero , University of Auckland
pp. 212-221
Session 3B: Formal Component Technology

Refinement Laws for Verifying Library Subroutine Adaptation (Abstract)

Colin Fidge , University of Queensland
Peter Robinson , University of Queensland
Steve Dunne , University of Teesside
pp. 224-232

A Formal Description of Design Patterns Using OWL (Abstract)

Jens Dietrich , Massey University
Chris Elgar , Massey University
pp. 243-250
Session 3C: Maintenance and Reuse

Software Reuse across Robotic Platforms: Limiting the Effects of Diversity (Abstract)

Robert Smith , Queensland University of Technology
Aster Wardhani , Queensland University of Technology
Glenn Smith , Queensland University of Technology
pp. 252-261

A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition (Abstract)

Francesca Arcelli , Universit? degli Studi di Milano-Bicocca
Claudia Raibulet , Universit? degli Studi di Milano-Bicocca
Francesco Tisato , Universit? degli Studi di Milano-Bicocca
Stefano Masiero , Universit? degli Studi di Milano-Bicocca
pp. 262-269

ReArchJBs: A Tool for Automated Software Architecture Recovery of JavaBeans-Based Applications (Abstract)

Jun Zhou , University of Stuttgart
Chang-ai Sun , Swinburne University of Technology
pp. 270-280
Session 4A: Architecture 2

Formulating the Architectural Design of Enterprise Applications as a Search Problem (Abstract)

Boualem Benatallah , University of New South Wales
Feras T. Dabous , University of New South Wales
Tariq Al-Naeem , University of New South Wales
Fethi A. Rabhi , University of New South Wales
pp. 282-291

A Study of the In-Practice Application of a Commercial Software Architecture (Abstract)

Margaret Hamilton , RMIT University
Keith Frampton , RMIT University
Rob Barrow , RMIT University
Bruce Crossman , IBM Australia
pp. 292-301

Practical Application of Formal Methods for Specification and Analysis of Software Architecture (Abstract)

Cameron Maxwell , University of Technology - Sydney
Artem Parakhine , University of Technology - Sydney
John Leaney , University of Technology - Sydney
pp. 302-311
Session 4B: Education

Curriculum Development in Educating Undergraduate Software Engineers — Are Students Being Prepared for the Profession? (Abstract)

Lorraine Johnston , Swinburne University of Technology
Jean-Guy Schneider , Swinburne University of Technology
Phil Joyce , Swinburne University of Technology
pp. 314-323

Quality Assurance in a Student-Based Agile Software Engineering Process (Abstract)

Andrew Marrington , Queensland University of Technology
Richard Thomas , Queensland University of Technology
James M. Hogan , Queensland University of Technology
pp. 324-331
Session 4C: Components

Deriving Systems Level Security Properties of Component Based Composite Systems (Abstract)

Khaled M. Khan , University of Western Sydney
Jun Han , Swinburne University of Technology
pp. 334-343

Demonstrating the Effectiveness of Exclusion Control for Components (Abstract)

John Potter , University of New South Wales
Abdelsalam Shanneb , University of New South Wales
Eric Yu , University of New South Wales
pp. 344-353
Author Index

Author Index (PDF)

pp. 355-356
105 ms
(Ver 3.1 (10032016))