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
Danny Russell , University of Queensland
Brenton Atchison , Invensys Rail Systems Australia
pp. 14-22

Consistent Code Generation from UML Models (Abstract)

Quan Long , United Nations University and Peking University
Zhiming Liu , United Nations University
Xiaoshan Li , University of Macau
He Jifeng , United Nations University and Peking 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)

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

Defining Autonomic Computing: A Software Engineering Perspective (Abstract)

Paul Lin , University of Technology - Sydney
Alexander MacArthur , University of Technology - Sydney
John Leaney , 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)

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

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

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

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes (Abstract)

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

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

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

A Formal Method for Program Slicing (Abstract)

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

Towards a Schema Representation through Design Matrices (Abstract)

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

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

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

Operational Management Contracts for Adaptive Software Organisation (Abstract)

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

Parsing and Semantic Modelling for Software Engineering Applications (Abstract)

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

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

Abdul Babar , University of New South Wales
John Potter , 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
Ewan Tempero , University of Auckland
Rebecca Berrigan , GFG Group Ltd
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)

Glenn Smith , Queensland University of Technology
Robert Smith , Queensland University of Technology
Aster Wardhani , 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
Stefano Masiero , Universit? degli Studi di Milano-Bicocca
Claudia Raibulet , Universit? degli Studi di Milano-Bicocca
Francesco Tisato , Universit? degli Studi di Milano-Bicocca
pp. 262-269

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

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

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

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

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

Rob Barrow , RMIT University
Keith Frampton , RMIT University
Margaret Hamilton , 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)

Jean-Guy Schneider , Swinburne University of Technology
Lorraine Johnston , 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
James M. Hogan , Queensland University of Technology
Richard Thomas , 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
96 ms
(Ver 3.3 (11022016))