The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (1996)
Seoul, SOUTH KOREA
Dec. 4, 1996 to Dec. 7, 1996
ISBN: 0-8186-7638-8
TABLE OF CONTENTS

Foreword (PDF)

pp. ix

Reviewers (PDF)

pp. xiv
Keynote Address
Session 1-A: Real-Time Systems

Verification via Digitized Models of Real-Time Hybrid Systems (Abstract)

Dang Van Hung , Int. Inst. for Software Technol., United Nations Univ., Macau
Ko Kwang Il , Int. Inst. for Software Technol., United Nations Univ., Macau
pp. 4

Formalization and Verification of Safety Properties of Statechart Specifications (Abstract)

Kyo C. Kang , Pohang University of Science and Technology
Kwang-Il Ko , Pohang University of Science and Technology
pp. 16
Session 1-B: Metrics

Object-Oriented Metrics (Abstract)

N V Balasubramanian , City University of Hong Kong
pp. 30

Module Coupling: A Design Metric (Abstract)

F. Xia , Dept. of Inf. Syst., Macao Univ., Macau
pp. 44
Session 1-C: Development Environment I

An Interaction Support Mechanism in Software Development (Abstract)

K. Inoue , Osaka University
H. Iida , Nara Institute of Science and Technology
M. Matsushita , Osaka University
pp. 66
Session 2-A: Object-Oriented Development

Assessing and Restructuring of Classes Based on Cohesion (Abstract)

Yong Rae Kwon , Korea Advanced Institute of Science and Technology
Heung Seok Chae , Korea Advanced Institute of Science and Technology
pp. 76

Improving the Quality of Classification Trees via Restructuring (Abstract)

T.Y. Chen , University of Melbourne
P.L. Poon , University of Melbourne
pp. 83
Session 2-B: Testing

A Class Testing Technique Based on Data Bindings (Abstract)

Chisu Wu , Seoul National University
Heechern Kim , Seoul National University
pp. 104

Towards a Learner-Centred Approach to Teaching Object-Oriented Design (Abstract)

C.A. Higgins , University of Nottingham
C.A. Gibbon , University of Nottingham
pp. 110
Session 2-C: Software Process

A Framework of Generating Software Process Including Milestones for Object-Oriented Development Method (Abstract)

K. Torii , Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
N. Hanakawa , Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
K. Matsumoto , Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
H. Iida , Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
pp. 120

Simulation Model of Overlapping Development Process Based on Progress of Activities (Abstract)

K. Torii , Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
H. Iida , Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
S. Yabe , Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
J. Eijima , Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
K. Matsumoto , Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
pp. 131

Analysis of Software Process Improvement Experience Using the Project Visibility Index (Abstract)

K. Nakakoji , OMRON Corp., Shiga, Japan
K. Sakamoto , OMRON Corp., Shiga, Japan
N. Niihara , OMRON Corp., Shiga, Japan
K. Kishida , OMRON Corp., Shiga, Japan
T. Tanaka , OMRON Corp., Shiga, Japan
pp. 139
Session 3-A: Panel: Industrial Application of the Object-Oriented Technology
Keynote Address
Session 4-A: Maintenance and Reuse

New Software Components with an Autonomous Changing Mechanism (Abstract)

Katsuhisa Maruyama , NTT Software Laboratories
Ken-ichi Shima , NTT Software Laboratories
pp. 154

The Derivation of Functional Specifications from Source Code (Abstract)

Suehee Pak , Dongduck Women's University
William E. Howden , University of California, San Diego
pp. 166
Session 4-B: Formal Methods I

An Extended Semantic Foundation For Object-Z (Abstract)

Alena Griffiths , University of Queensland
pp. 194
Session 4-C: Validation and Verification
Session 5-A: Formal Methods II

Towards a Practical Formal Method for Object Oriented Modelling (Abstract)

Kinh Nguyen , Victoria University of Technology
pp. 226
Session 5-B: Distributed Systems

A dynamic Extension for the Specification of Distributed Systems (Abstract)

Issam A. Hamid , Tohoku University of Art & Design
pp. 256

The Telephone Directory Enquiry System of Hong Kong (Abstract)

T.W. Lam , University of Hong Kong
K.H. Lee , University of Hong Kong
K.P. Chow , University of Hong Kong
pp. 268
Session 5-C: Design and Implementation

Design and Implementation of Dynamically Reconstructing System Software (Abstract)

Keizo Saisho , Nara Institute of Science and Technology
Akira Fukuda , Nara Institute of Science and Technology
Kazuhiko Kashiwagi , Nara Institute of Science and Technology
pp. 278
Session 6-A: User Interaction

Resonance Interface: Proposal of a Framework for Design Environment (Abstract)

Koichi Kishida , Software Research Associates, Inc.
Masao Ito , Nil Software Corp.
pp. 302

A Dialog-Oriented User Interface Generation Mechanism (Abstract)

Y. Fukazawa , Dept. of Electr. Eng., Waseda Univ., Tokyo, Japan
J. Baeg , Dept. of Electr. Eng., Waseda Univ., Tokyo, Japan
pp. 310

Formalisation of Interaction Diagrams (Abstract)

R. Ronnquist , Australian Artificial Intelligence Institute
C. K. Low , University of Melbourne
pp. 318
Session 6-B: Panel
Session 7-A: Concurrency

Software Testing and Metrics for Concurrent Computation (Abstract)

Chi-Ming Chung , TamKang University
Ying-Hong Wang , TamKang University
Wei-Chuan Lin , TamKang University
Ying-Feng Kou , TamKang University
Timothy K. Shih , TamKang University
pp. 336

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph (Abstract)

Tetsuro Katayama , Nara Institute of Science and Technology
Kazuo Ushijima , Kyushu University
Zengo Furukawa , Kyushu University
pp. 355
Session 7-B: Development Environment II

Real-Time System Design Tools for RTO.e (Real-Time Object.extended) (Abstract)

Moon-Hae Kim , Kon Kuk University
Seung-Min Yang , Soong Sil University
Joong-Sup Choi , Soong Sil University
Byung Kwon Ahn , Soong Sil University
pp. 376

MENTOR : An Environment Supporting the Construction of Methods (Abstract)

Veronique Plihon , University Paris I Pantheon-Sorbonne
pp. 384

Author Index (PDF)

pp. 393
96 ms
(Ver )