The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (1995)
Brisbane, Australia
Dec. 6, 1995 to Dec. 9, 1995
ISBN: 0-8186-7171-8
TABLE OF CONTENTS

Foreword (PDF)

pp. x

Committees (PDF)

pp. xii

Reviewers (PDF)

pp. xiii
Keynote Addresses
Session 1A: Testing I

Event Interactions Graph for Test-case Generation of Concurrent Programs (Abstract)

Tetsuro Katayama , Kyushu University
Zengo Furukawa , Kyushu University
Kazuo Ushijima , Kyushu University
pp. 29
Session 1B: Requirements Modelling

From Scenarios to Timed Automata: Building Specifications from Users Requirements (Abstract)

Rachida Dssouli , DIRO, University of Montreal
Stephane Some , DIRO, University of Montreal
Jean Vaucher , DIRO, University of Montreal
pp. 48

Expressing Inter-Perspective Relationships: A Logical Approach (Abstract)

Laurent Perrussel , Universite Toulouse I - CERISS, Place Anatole France
pp. 58

Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings (Abstract)

Haruhiko Kaiya , Japan Advanced Instiute of Science and Techonology
Nobuyuki Miura , NTT Software Laboratories
Motoshi Saeki , Tokyo Institute of Techonology
pp. 64
Session 1C: Concurrency

Two Dimensional Concurrent Program Debugging (Abstract)

Lu Xu , Purdue University
Michal Young , Purdue University
pp. 76

Reasoning about Concurrent Objects (Abstract)

Heinz W. Schmidt , Monash University
Jian Chen , Monash University
pp. 86

An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information (Abstract)

Hyeon Soo Kim , Electronics and Telecommunications Research Institute
Yong Rae Kwon , Korea Advanced Institute of Science and Technology
Hyun Seop Bae , Korea Advanced Institute of Science and Technology
pp. 96
Session 2A: Object-Oriented Development

Class Exerciser: A Basic CASE Tool for Object-Oriented Development (Abstract)

Chien-Min Wang , Institute of Information Science, Academia Sinica
Y. S. Kuo , Institute of Information Science, Academia Sinica
pp. 108

A Reorganization Framework of the Object-Oriented Class Hierarchy (Abstract)

Nobuki Tokura , Osaka University
Suk-hyung Hwang , Osaka University
Yoshihiro Tsujino , Osaka University
pp. 117

A Survey of Experiences amongst Object-Oriented Practitioners (Abstract)

Murray Wood , University of Strathclyde
James Miller , University of Strathclyde
John Daly , University of Strathclyde
Marc Roper , University of Strathclyde
Andrew Brooks , University of Strathclyde
pp. 137
Session 2B: Software Process
Session 2C: Distributed Systems

A Hierarchical Framework for Designing Reliable Distributed Systems (Abstract)

Xiaohua Jia , The University of Queensland
Wilson C. H. Cheng , The University of Queensland
pp. 180

Evolutional Agents: Field Oriented Programming Language, Flage (Abstract)

Akihiko Ohsuga , Information-technology Promotion Agency, Japan (IPA)
Shinichi Honiden , Information-technology Promotion Agency, Japan (IPA)
Yasuyuki Tahara , Information-technology Promotion Agency, Japan (IPA)
Fumihiro Kumeno , Information-technology Promotion Agency, Japan (IPA)
pp. 189

Toward Software Metrics for Distributed Software (Abstract)

Woei-Jiunn Tsaur , National Taiwan Institute of Technology
Shi-Jinn Horng , National Taiwan Institute of Technology
pp. 209
Session 3A: Testing II

On the Analysis of Subdomain Testing Strategies (Abstract)

H. Leung , New Mexico State University
T. Y. Chen , University of Melbourne
Y. T. Yu , University of Melbourne
pp. 218

An Enhanced Zero-One Optimal Path Set Selection Method (Abstract)

Chyan-Goei Chung , National Chiao Tung University, Hsin-Chu, Taiwan
Jen-Gaw Lee , National Chiao Tung University, Hsin-Chu, Taiwan
pp. 225

Testing of Object-Oriented Programs Based on Finite State Machines (Abstract)

Sung Deok Cha , Korea Advanced Institute of Science and Technology
Yong Rae Kwon , Korea Advanced Institute of Science and Technology
Hyoung Seok Hong , Korea Advanced Institute of Science and Technology
pp. 234
Session 3B: Development Environments I

Modelling Systems that Integrate Programming Language and Environment Mechanisms (Abstract)

Chris D. Marlin , The Flinders University of South Australia
Keith J. Ransom , The Flinders University of South Australia
pp. 274
Session 3C: Formal Methods

Animating Z: Interactivity, Transparency and Equivalence (Abstract)

Mark Utting , The University of Queensland
pp. 294

Living with Free Type and Class Union (Abstract)

Jin Song Dong , University of Queensland
pp. 304
Session 4A: Quality Assurance and Reliability

An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis (Abstract)

Jiro Okayasu , Toshiba Corporation
Yoshio Kataoka , Toshiba Corporation
Masayuki Hirayama , Toshiba Corporation
Tetsuji Fukaya , Toshiba Corporation
pp. 324

Teaching Software Quality and Leadership: Experiences and Successes (Abstract)

Judy Bamberger , RESULTS - Partners in Process Improvement
James Hook , Oregon Graduate Institute of Science & Technology
pp. 333
Session 4B: Reuse

Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse (Abstract)

Shinichi Honiden , Toshiba Corporation
Saeko Matsuura , Information-technology Promotion Agency(IPA)
pp. 364
Session 4C: The Specification Process; Maintenance

Prototyping the Structured Specification as Logic Programs (Abstract)

Daniel K.C. Chan , The Hebrew University of Jerusalem
Karl R.P.H. Leung , Hong Kong Polytechnic University
pp. 380

A Maintenance Support System based on High-Level Control-Flow and Data Dependency (Abstract)

Akihiko Matsuo , Fujitsu Laboratories Ltd.
Minako Kimura , Fujitsu Laboratories Ltd.
Sanya Uehara , Fujitsu Laboratories Ltd.
pp. 390
Session 5A: Development Environments II
Session 5B: Information Systems Design and Management

Re-engineering 4GL-based Information System Applications (Abstract)

Anthony Berglas , University of Queensland
Ian Peake , University of Queensland
Paul A. Bailes , University of Queensland
John V. Harrison , University of Queensland
pp. 448

An Integrated Approach to IS modeling (Abstract)

David Leadbetter , University of Queensland
pp. 458

Integration of Software Process Management and Development History Recording (Abstract)

Dirk Ohrndorf , LION GmbH, Universitaetsstrasse 140
Stefan Dissmann , University of Dortmund
Volker Gruhn , LION GmbH, Universitaetsstrasse 140
pp. 468
Session 5C: Reasoning and Verification

Soft Typing of General First-Order Languages (Abstract)

H. Becht , The University of Queensland
J. Staples , The University of Queensland
pp. 480

Reasoning about Object-Z Specifications (Abstract)

Graeme Smith , University of Queensland
pp. 489
Panel Session

Author Index (PDF)

pp. 524
86 ms
(Ver 3.3 (11022016))