The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2002)
Gold Coast, Australia
Dec. 4, 2002 to Dec. 6, 2002
ISSN: 1530-1362
ISBN: 0-7695-1850-8
TABLE OF CONTENTS

Reviewers (PDF)

pp. xvi
Session 1A: Requirements Engineering

A Study of the Impact of Requirements Volatility on Software Project Performance (Abstract)

Didar Zowghi , University of Technology
N Nurmuliani , University of Technology
pp. 3

Integrating Use-Case Analysis and Task Analysis for Interactive Systems (Abstract)

David Carrington , The University of Queensland
Soon-Kyeong Kim , The University of Queensland
pp. 12
Session 1B: Formal Methods (Refinement)

Results on Formal Stepwise Design in Z (Abstract)

Steve Reeves , University of Waikato
Moshe Deutsch , University of Essex
Martin C. Henson , University of Essex
pp. 33

Refining Object-Oriented Invariants and Dynamic Constraints (Abstract)

Jamie Shield , The University of Queensland
Ian J. Hayes , The University of Queensland
pp. 52
Session 1C: Components

Evaluating the Scalability of Enterprise JavaBeans Technology (Abstract)

Yan (Jenny) Liu , School of Information Technologies
Anna Liu , School of Information Technologies
Ian Gorton , Pacific Northwest National Laboratory
Shiping Chen , CSIRO Mathematical and Information Sciences
pp. 74

Performance of SOAP in Web Service Environment Compared to CORBA (Abstract)

Ulf Paulsson , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
Robert Elfwing , Blekinge Institute of Technology
pp. 84
Session 2A: Design

Extracting threads from concurrent objects for the design of embedded systems (Abstract)

Takuya Katayama , Japan Advanced Institute of Science and Technology
Mitsutaka Okazaki , Japan Advanced Institute of Science and Technology
Toshiaki Aoki , Japan Advanced Institute of Science and Technology
pp. 107

A nested invocation suppression mechanism for active replication fault-tolerant CORBA (Abstract)

Chyouhwa Chen , National Taiwan University of Science and Technology
Deron Liang , National Taiwan Ocean University
Chen-Liang Fang , National Taiwan University of Science and Technology; JinWen Institute of Technology
Fengyi Lin , Chihlee Institute of Commerce
pp. 117
Session 2B: Formal Specifications Analysis

Formal Verification of ?-Charts (Abstract)

Doug Goldson , University of Queensland
pp. 129

Animation of Data Refinements (Abstract)

Neil J. Robinson , The University of Queensland
Colin Fidge , The University of Queensland
pp. 137

Symbolic Simulation of Hybrid Systems (Abstract)

Ralph-Johan Back , Turku Centre for Computer Science (TUCS)
Cristina Cerschi Seceleanu , Turku Centre for Computer Science (TUCS)
Jan Westerholm , Turku Centre for Computer Science (TUCS)
pp. 147
Session 2C: Programming Languages and Software Engineering

A Software Engineering Approach to Constraint Programming Systems (Abstract)

Martin Henz , National University of Singapore
Chiu Wo Choi , The Chinese University of Hong Kong
Ka Boon Kevin Ng , Honeywell Automation and Control Solutions
pp. 167

A Virtual File System for Source Program Editing (Abstract)

Yoshida Atsushi , Wakayama University
Fukuyasu Naoki , Wakayama University
pp. 176
Keynote
Session 3A: Education

iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering Courses (Abstract)

Andreas G. Harrer , Technische Universit?t M?nchen
Allen H. Dutoit , Technische Universit?t M?nchen
Andreas Braun , Accenture
Bernd Brüge , Technische Universit?t M?nchen
pp. 197
Session 3B: Model Checking

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems (Abstract)

Natalia Ioustinova , CWI (Centrum voor Wiskunde en Informatica)
Natalia Sidorova , Eindhoven University of Technology
Martin Steffen , Christian-Albrechts-Universit?
pp. 227
Session 3C: Human Computer Interaction

Automatic Filling in a Form by an Agent for Web Applications (Abstract)

Katsuya Fujiwara , Meiji University
Takeshi Chusho , Meiji University
Keiji Minamitani , Meiji University
pp. 239

A Recommendation System for Software Function Discovery (Abstract)

Naoki Ohsugi , Nara Institute of Science and Technology
Akito Monden , Nara Institute of Science and Technology
Ken-ichi Matsumoto , Nara Institute of Science and Technology
pp. 248
Keynote

Lessons Learned in Framework-Based Software Process Improvement (Abstract)

Pankaj Jalote , Indian Institute of Technology Kanpur
pp. 261
Session 4A: Software Design and Architecture

e-Science Experiences: Software Engineering Practice and the EU DataGrid (Abstract)

Lee Momtahan , Oxford University Computing Laboratory
Andrew Martin , Oxford University Computing Laboratory
pp. 269
Session 4B: Formal Methods (Components)

Contextual Matching of Software Library Components (Abstract)

C. J. Fidge , The University of Queensland
pp. 297
Session 4C: Software Maintenance

On Detection of Gapped Code Clones using Gap Locations (Abstract)

Toshihiro Kamiya , Osaka University
Katsuro Inoue , Osaka University
Shinji Kusumoto , Osaka University
Yasushi Ueda , Osaka University
pp. 327

An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs (Abstract)

Sang-Uk Jeon , Korea Advanced Institute of Science and Technology
Joon-Sang Lee , Korea Advanced Institute of Science and Technology
Doo-Hwan Bae , Korea Advanced Institute of Science and Technology
pp. 337

Quality Driven Transformation Compositions for Object Oriented Migration (Abstract)

Kostas Kontogiannis , University of Waterloo
Ying Zou , University of Waterloo
pp. 346
Session 5A: Software Process

The Real World Software Process (Abstract)

James M. Hogan , Queensland University of Technology
Glenn Smith , Queensland University of Technology
Richard Thomas , Queensland University of Technology
pp. 366

A Metal Model Approach using UML for Task Assignment Policy in Software Process (Abstract)

Seungjin Lee , Seoul National University
Junho Shim , Sookmyung Women?s University
Chisu Wu , Seoul National University
pp. 376
Session 5B: Formal Methods (Design)

Feature Logics and Refinement (Abstract)

Pascale Le Gall , L.a.M.I., Universit? d'?vry
Christophe Gaston , L.a.M.I., Universit? d'?vry
Marc Aiguier , L.a.M.I., Universit? d'?vry
pp. 385

Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling (Abstract)

Trong-Yen Lee , National Taipei University of Technology
Pao-Ann Hsiung , National Chung Cheng University
Feng-Shi Su , National Chung Cheng University
pp. 395

Specifying and Reasoning about Generic Architecture in TCOZ (Abstract)

Jing Sun , National University of Singapore
Jin Song Dong , National University of Singapore
pp. 405
Session 5C: Server-Based Applications

Defining Attribute Templates for Descriptions of Distributed Services (Abstract)

Kokichi Futatsugi , Japan Advanced Institute of Science and Technology
Twittie Senivongse , Chulalongkorn University
Chayan Tapabut , Chulalongkorn University
pp. 425

A Predictive Performance Model to Evaluate the Contention Cost in Application Servers (Abstract)

Shiping Chen , CSIRO Mathematical and Information Sciences
Ian Gorton , Pacific Northwest National Laboratory
pp. 435
Panel
Session 6A: Review and Testing

Data Coverage Testing (Abstract)

Lee J. White , Case Western Reserve University
Ponrudee Netisopakul , Case Western Reserve University
John Morris , The University of Western Australia
pp. 465
Session 6B: UML

Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B (Abstract)

Hung LEDANG , LORIA - Universit? Nancy 2 - UMR 7503
Jeanine SOUQUIÈRES , LORIA - Universit? Nancy 2 - UMR 7503
pp. 495
Session 6C: Measurement

The Java Metrics Reporter- An Extensible Tool for 00 Software Analysis (Abstract)

Richard Thomas , Queensland University of Technology
James M. Hogan , Queensland University of Technology
Jaspar Cahill , Queensland University of Technology
pp. 507

Issues in the construction of new measures within the discipline of Open Systems (Abstract)

Tim O?Neill , University of Technology
John Leaney , University of Technology
David Rowe , University of Technology
pp. 527
Keynote

Has Twenty-five Years of Empirical Software Engineering Made a Difference? (Abstract)

Ross Jeffery , University of New South Wales
Louise Scott , University of New South Wales
pp. 539
Session 7A: Documentation

Theme-Based Literate Programming (Abstract)

Neville Churcher , University of Canterbury
Andreas Kacofegitis , University of Canterbury
pp. 549

Production and Maintenance of System Documentation: What, Why, When and How Tools Should Support the Practice (Abstract)

Norbik Bashah Idris , Universiti Teknologi Malaysia
Shamsul Sahibuddin , Universiti Teknologi Malaysia
Sahida Sulaiman , Universiti Teknologi Malaysia
pp. 558
Session 7B: Project Management

A communication workload estimation model based on relationships among shared works for software development projects (Abstract)

Koji Torii , Nara Institute Science and Technology
Ken-ichi Matsumoto , Nara Institute Science and Technology
Noriko Hanakawa , Hannan University
pp. 571
Session 7C: Knowledge-Based Approaches

A Process-Centred Experience Repository for a Small Software Organisation (Abstract)

Louise Scott , University of New South Wales
Ross Jeffery , University of New South Wales
Lucila Carvalho , University of New South Wales
pp. 603

Author's Index (PDF)

pp. 611
91 ms
(Ver )