The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2003)
Chiang Mai, Thailand
Dec. 10, 2003 to Dec. 12, 2003
ISBN: 0-7695-2011-1
TABLE OF CONTENTS

Steering Committe (PDF)

pp. xiii

Program Committe (PDF)

pp. xiv

Reviewers (PDF)

pp. xvi
Keynote Speeches

Science of Software Changes (PDF)

Takuya Katayama , Japan Advanced Institute of Science and Technology
pp. 2

Blueprint for Real Progress in Software Engineering (PDF)

Bertrand Meyer , ETH Zurich / Eiffel Software / Monash University
pp. 3
Session 1A: Requirements Engineering

Matching Software Practitioner Needs to Researcher Activities (Abstract)

Judith R. Connelly , NASA IV&V Facility
Martin S. Feather , California Institute of Technology
Tim Menzies , West Virginia University
pp. 6

PAORE: Package Oriented Requirements Elicitation (Abstract)

Kenji Watahiki , Tokyo Institute of Technology
Atsushi Ohnishi , Ritsumeikan University
Shuichiro Yamamoto , NTT Data Corporation
Seiichi Komiya , Shibaura Institute of Technology
Motoshi Saeki , Tokyo Institute of Technology
Hisayuki Horai , Celestar Lexico-Sciences, Inc.
Haruhiko Kaiya , Shinshu University
Junzo Kato , Argo Soken Inc.
Morio Nagata , Keio University
pp. 17
Session 1B: Formal Methods (1)

Generalising the Z Schema Calculus: Database Schemas and Beyond (Abstract)

Andrew Martin , Oxford University Software Engineering Centre
Andrew Simpson , Oxford University Software Engineering Centre
pp. 28

Academia and industry meet: Some experiences of formal methods in practice (Abstract)

Guy H. Broadfoot , Silverdata Ltd., UK
Philippa J. Broadfoot , Oxford University Computing Laboratory, UK
pp. 49
Session 1C: Maintenance and Reuse

Discovering Use Cases from Source Code using the Branch-Reserving Call Graph (Abstract)

Zhiying Zhou , Peking University, China
Tao Qin , Peking University, China
Lu Zhang , Peking University, China
Dan Hao , Peking University, China
Jiasu Sun , Peking University, China
pp. 60

Understanding How the Requirements Are Implemented in Source Code (Abstract)

Lu Zhang , Peking University, Beijing
Yin Liu , Peking University, Beijing
Wei Zhao , Peking University, Beijing
Jiasu Sun , Peking University, Beijing
Jing Luo , Peking University, Beijing
pp. 68

Regression Test Selection Based on Version Changes of Components (Abstract)

Bugi Wibowo , University of New England, Australia
A. S. M. Sajeev , University of New England, Australia
pp. 78
Session 2A: Software Testing (1)

Towards a Sound Modular Model Checking of Collaboration-Based Software Designs (Abstract)

Nguyen Truong Thang , Japan Advanced Institute of Science and Technology - JAIST
Takuya Katayama , Japan Advanced Institute of Science and Technology - JAIST
pp. 88

Controllability Mechanism for Object-Oriented Software Testing (Abstract)

S. K. Wasan , Jamia Millia Islamia
S. C. Gupta , National Informatics Center
Anita Goel , University of Delhi
pp. 98

Generating Test Oracle for Role Binding in Multi-Agent Systems (Abstract)

Xinjun Mao , National University of Defense Techonology
Xin Wang , National University of Defense Techonology
Qi Yan , National University of Defense Techonology
ZhiChang Qi , National University of Defense Techonology
pp. 108
Session 2B: Product Lines and Reuse

An XVCL Approach to Handling Variants: A KWIC Product Line Example (Abstract)

Hongyu Zhang , National University of Singapore
Stan Jarzabek , National University of Singapore
pp. 116

A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and Features (Abstract)

Sooyong Park , Sogang University, Korea
Hwasil Yang , Sogang University, Korea
Minseong Kim , Sogang University, Korea
pp. 126

Facilitating Reuse of Software Components using Repository Technology (Abstract)

Gyu-Sang Shin , Electronics and Telecommunications Research Institute, Korea
Jihyun Lee , Electronics and Telecommunications Research Institute, Korea
Jinsam Kim , Electronics and Telecommunications Research Institute, Korea
pp. 136
Session 2C: Software Documentation

Developing Relational Navigation to Effectively Understand Software (Abstract)

Anthony MacDonald , The University of Queensland
Daniel Jarrott , The University of Queensland
pp. 144

Re-documenting, Visualizing and Understanding Software System Using DocLike Viewer (Abstract)

Shamsul Sahibuddin , Universiti Teknologi Malaysia, Skudai, Johor
Sarina Sulaiman , Universiti Teknologi Malaysia, Skudai, Johor
Norbik Bashah Idris , Universiti Teknologi Malaysia, Kuala Lumpur
Shahida Sulaiman , Universiti Sains Malaysia, Minden, Pulau Pinang; Universiti Teknologi Malaysia, Kuala Lumpur
pp. 154

The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia (Abstract)

Tien Nhut Nguyen , University of Wisconsin - Milwaukee
Satish Chandra Gupta , IBM? India Ltd.
Ethan V. Munson , University of Wisconsin - Milwaukee
pp. 164
Session 3A: Formal Methods (2)

Implementing Angelic Nondeterminism (Abstract)

Joakim von Wright , Turku Centre for Computer Science and ?bo Akademi University, Finland
Orieta Celiku , Turku Centre for Computer Science and ?bo Akademi University, Finland
pp. 176

Rigorous EBNF-based Definition for a Graphic Modeling Language (Abstract)

Martin Glinz , Institut f?r Informatik der Universit?t Z?rich, Switzerland
Yong Xia , Institut f?r Informatik der Universit?t Z?rich, Switzerland
pp. 186

Modular refinement in novel schema calculi (Abstract)

Moshe Deutsch , University of Essex, UK
Besnik Kajtazi , University of Essex, UK
Martin C. Henson , University of Essex, UK
pp. 197
Session 3B: Software Architecture and Object-Oriented

A Two-Level Hierarchy Software Architecture Framework for the Manufacturing Industry (Abstract)

Whey Seen Heah , Multimedia University-Faculty of Engineering and Technology Melaka Campus
Mohamed k. Omar , Multimedia University-Faculty of Engineering and Technology Melaka Campus
pp. 208

DRC: A Dependence Relationships Based Cohesion Measure for Classes (Abstract)

Yujian Chen , Tsinghua University, Beijing
Jianmin Wang , Tsinghua University, Beijing
Yuming Zhou , Tsinghua University, Beijing
Hongmin Lu , Southeast University, Nanjing
Lijie Wen , Tsinghua University, Beijing
Baowen Xu , Southeast University, Nanjing
pp. 215

A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines (Abstract)

Kevin Compton , University of Michgan
Wuwei Shen , Western Michigan University
James Huggins , Kettering University
pp. 224
Session 3C: Software Process

A Ontology-based Process Modelling for XP (Abstract)

Paolo Ceravolo , Universit? di Milano
Ernesto Damiani , Universit? di Milano
Sandro Pinna , Universit? di Cagliari
Michele Marchesi , Universit? di Cagliari
Francesco Zavatarelli , Universit? di Milano
pp. 236

Modeling and Enacting Software Processes Using VRPML (Abstract)

Peter A. Lee , University of Newcastle upon Tyne, UK
Kamal Z. Zamli , University of Newcastle upon Tyne, UK
pp. 243

A SCM Workflow Model for CMM Organizations (Abstract)

Taratip Suwannasart , Chulalongkorn University, Bangkok, Thailand
Pornthep Seawlho , Chulalongkorn University, Bangkok, Thailand
pp. 253
Session 4A: Frameworks

Implementing the PostgreSQL Query Optimizer within the OPT++ Framework (Abstract)

Jinmiao Li , Concordia University
Greg Butler , Concordia University
Ju Wang , Concordia University
pp. 262

Application method for process frame-work (Abstract)

Junji Koga , NTT COMWARE CORPORATION
Naoki Sugiwaka , NTT COMWARE CORPORATION
Takeshi Sakamoto , NTT COMWARE CORPORATION
Kazutoshi Shimanaka , NTT COMWARE CORPORATION
pp. 273
Session 4B: Computer Supported Cooperative Work and Software Engineering

Awareness Support in Group-based Software Engineering Education System (Abstract)

Kunihiko Chiken , Tokyo Gakugei University, Japan
Atsuo Hazeyama , Tokyo Gakugei University, Japan
pp. 280

An Extensible Framework for Collaborative Software Engineering (Abstract)

Neville Churcher , University of Canterbury, Christchurch, New Zealand
Carl Cook , University of Canterbury, Christchurch, New Zealand
pp. 290
Session 4C: Mobile and Web Services

JINI/J2EE Bridge for Large-scale IP Phone Services (Abstract)

Michael Geisler , Sun Microsystems, Melbourne, Australia
Jia Yu , Monash University, Melbourne, Australia
Jan Newmarch , Monash University, Melbourne, Australia
pp. 302

Fault tolerant web service (Abstract)

Fengyi Lin , Chihlee Institute of Technology, Taipei, Taiwan
Chyouhwa Chen , National Taiwan University of Science and Technology, Taipei
Deron Liang , Academia Sinica, Taipei, Taiwan; National Taiwan Ocean University, Keelung
Chen-Liang Fang , Jin-Wen Institute of Technology, Taipei, Taiwan; National Taiwan University of Science and Technology, Taipei
pp. 310
Session 5A: Software Testing (2)

Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications (Abstract)

Paul Strooper , The University of Queensland, Australia
Dan Hoffman , University of Victoria, Canada
Jason McDonald , The University of Queensland, Australia
pp. 322

Testing Criteria for Data Flow Software (Abstract)

Thanh Binh Nguyen , LCIS-ESISAR, France
Chantal Robach , LCIS-ESISAR, France
Michel Delaunay , LCIS-ESISAR, France
pp. 332

Challenging Formal Specifications by Mutation: a CSP security example (Abstract)

Fiona Polack , University of York, Heslington
Thitima Srivatanakul , University of York, Heslington
Susan Stepney , University of York, Heslington
John A. Clark , University of York, Heslington
pp. 340
Session 5B: Component-Based Software Engineering (1)

COTS Characterization Model in a COTS-Based Development Environment (Abstract)

Sihem Ben Sassi , Ecole Nationale des Sciences de l'Informatique
Henda Hajjami Ben Ghezala , Ecole Nationale des Sciences de l'Informatique
Lamia Labed Jilani , Ecole Nationale des Sciences de l'Informatique
pp. 352

An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation (Abstract)

Takuya Katayama , Japan Advanced Institute of Science and Technology
Shingo Ban , QUALICA Inc.
Hiroyuki Ozaki , Japan Advanced Institute of Science and Technology
Katsuhiko Gondow , Tokyo Institute of Technology
pp. 362

Case study: Reconnaissance techniques to support feature location using RECON2 (Abstract)

Suhaimi Ibrahim , Universiti Teknologi Malaysia, Kuala Lumpur
Aziz Deraman , Universiti Kebangsaan Malaysia, Selangor
Norbik Bashah Idris , Universiti Teknologi Malaysia, Kuala Lumpur
pp. 371
Session 5C: Software Design

Specifying Roles within Agent-Oriented Software Engineering (Abstract)

Kevin Chan , University of Melbourne
Leon Sterling , University of Melbourne
pp. 390

XSLT Template Design for Generating the Web Presentation Layer (Abstract)

Cheol-Jung Yoo , Chonbuk National University, Korea
Yong-Sung Kim , Chonbuk National University, Korea
Ok-Bae Chang , Chonbuk National University, Korea
Jung-Hwa Chae , Chonbuk National University, Korea
pp. 396
Session 6A: Formal Methods (3)

Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems (Abstract)

M. Chen , Concordia University, Montreal, Canada
M. Zheng , University of Wisconsin-LaCrosse
O. Ormandjieva , Concordia University, Montreal, Canada
V. S. Alagar , Concordia University, Montreal, Canada
pp. 406

Formal Verification of Type Flaw Attacks in Security Protocols (Abstract)

Benjamin W. Long , The University of Queensland, Brisbane, Australia
pp. 415

Reasoning about Pointers in Refinement Calculus (Abstract)

Viorel Preoteasa , ?bo Akademi University and Turku Centre for Computer Science
Ralph-Johan Back , ?bo Akademi University and Turku Centre for Computer Science
Xiaocong Fan , The Pennsylvania State University
pp. 425
Session 6B: Component-Based Software Engineering (2)

Ensuring Compatible Interactions within Component-based Software Systems (Abstract)

Ksze Kae Ker , Swinburne University of Technology, Australia
Jun Han , Swinburne University of Technology, Australia
pp. 436

Selecting Components: a Process for Context-Driven Evaluation (Abstract)

Chiou Peng Lam , Edith Cowan University, Australia
Jocelyn Armarego , Murdoch University, Australia
Valerie Maxville , Edith Cowan University, Australia
pp. 456
Session 6C: Software Development Method

Software Engineering Methods for Neural Networks (Abstract)

Ed Kazmierczak , The University of Melbourne, Victoria, Australia
Anthony Senyard , The University of Melbourne, Victoria, Australia
Leon Sterling , The University of Melbourne, Victoria, Australia
pp. 468

Security-Critical System Development with Extended Use Cases (Abstract)

G. Wimmel , Technische Universit?t M?nchen, Garching, Germany
J. J?rjens , Technische Universit?t M?nchen, Garching, Germany
G. Popp , Technische Universit?t M?nchen, Garching, Germany
R. Breu , Universit?t Innsbruck, Austria
pp. 478

Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec (Abstract)

Siv Hilde Houmb , Department of Computer and Information Science
Jan J?rjens , Systems Engineering, TU Munich
pp. 488
Session 7A: Technical Reviews

Exploring the Relationship between Experience and Group Performance in Software Review (Abstract)

Yuk Kuen Wong , University of Technology, Sydney
David Wilson , University of Technology, Sydney
pp. 500

An Extension of the Behavioral Theory of Group Performance in Software Development Technical Reviews (Abstract)

Bernard Wong , University of Technology, Sydney
Ross Jeffery , The University of New South Wales
Lesley Pek Wee Land , The University of New South Wales
pp. 520
Session 7B: Distributed Systems

Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment (Abstract)

Tohru Kikuno , Osaka University, Japan
Pattara Leelaprute , Osaka University, Japan
Masahide Nakamura , Nara Institute of Science and Technology, Japan
Ken-ichi Matsumoto , Nara Institute of Science and Technology, Japan
pp. 552
Session 7C: Compute Supported Cooperative Work and Software Engineering (3)

Implementing Exception Handling Policies for Workflow Management System (Abstract)

Yun Mai , Concordia University, Montreal, Canada
Jinmiao Li , Concordia University, Montreal, Canada
Greg Butler , Concordia University, Montreal, Canada
pp. 564

An Extended Policy Language for Role Resolution in Project-Oriented Workflow (Abstract)

Jian Cao , Shanghai Jiaotong University, China
Shensheng Zhang , Shanghai Jiaotong University, China
Xiaoguang Zhang , Shanghai Jiaotong University, China
pp. 574

Author Index (PDF)

pp. 581
96 ms
(Ver 3.1 (10032016))