CSDL - Proceedings A

Message from the Program Co-Chairs (PDF)

pp. x

Committees of APSEC '96 (PDF)

pp. xi

Reviewers (PDF)

pp. xiv

The Need For New Software Technology: Have We Overcome the Software Crisis? (PDF)

Keynote Address

pp. 2

Session 1-A: Real-Time Systems

Formal Object Approach to Real-Time Specification

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

PDF

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

PDF

Session 1-B: Metrics

Object-Oriented Metrics (Abstract)

N V Balasubramanian, City University of Hong Kong

pp. 30

PDF

Revisiting Measurement of Software Complexity (Abstract)

Claes Wohlin, Lund University

pp. 35

PDF

Module Coupling: A Design Metric (Abstract)

F. Xia, Dept. of Inf. Syst., Macao Univ., Macau

pp. 44

PDF

Session 1-C: Development Environment I

Classification of and Experimentation on Tool Interfacing in Software Development Environments (Abstract)

Yun Yang

Jun Han

pp. 56

PDF

An Interaction Support Mechanism in Software Development (Abstract)

M. Matsushita, Osaka University

K. Inoue, Osaka University

H. Iida, Nara Institute of Science and Technology

pp. 66

PDF

ParaDebug: A Parallel Visual Debugger

Session 2-A: Object-Oriented Development

Assessing and Restructuring of Classes Based on Cohesion (Abstract)

Heung Seok Chae, Korea Advanced Institute of Science and Technology

Yong Rae Kwon, Korea Advanced Institute of Science and Technology

pp. 76

PDF

Improving the Quality of Classification Trees via Restructuring (Abstract)

T.Y. Chen, University of Melbourne

P.L. Poon, University of Melbourne

pp. 83

PDF

A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages (Abstract)

Li XuanDong, Nanjing University

Zheng GuoLiang, Nanjing University

pp. 93

PDF

Session 2-B: Testing

A Class Testing Technique Based on Data Bindings (Abstract)

Heechern Kim, Seoul National University

Chisu Wu, Seoul National University

pp. 104

PDF

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

C.A. Gibbon, University of Nottingham

C.A. Higgins, University of Nottingham

pp. 110

PDF

Session 2-C: Software Process

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

N. Hanakawa, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan

H. Iida, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan

K. Matsumoto, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan

K. Torii, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan

pp. 120

PDF

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

H. Iida, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan

J. Eijima, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan

S. Yabe, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan

K. Matsumoto, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan

K. Torii, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan

pp. 131

PDF

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

K. Sakamoto, OMRON Corp., Shiga, Japan

N. Niihara, OMRON Corp., Shiga, Japan

T. Tanaka, OMRON Corp., Shiga, Japan

K. Nakakoji, OMRON Corp., Shiga, Japan

K. Kishida, OMRON Corp., Shiga, Japan

pp. 139

PDF

Session 3-A: Panel: Industrial Application of the Object-Oriented Technology

Industrial Application of Object-Oriented Technology (PDF)

pp. 150

Principles of Software Evolution (PDF)

pp. 152

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

PDF

The Derivation of Functional Specifications from Source Code (Abstract)

William E. Howden, University of California, San Diego

Suehee Pak, Dongduck Women's University

pp. 166

PDF

A Reuse Framework for Multi-Domain Software Development

Session 4-B: Formal Methods I

Safety Analysis Using Coloured Petri Nets (Abstract)

pp. 176

PDF

An Extended Semantic Foundation For Object-Z (Abstract)

Alena Griffiths, University of Queensland

pp. 194

PDF

Session 4-C: Validation and Verification

A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis (Abstract)

Do-Hyoung Kim, Soongsil University

Kiwon Chong, Soongsil University

pp. 208

PDF

A Case Study Using SAM - Safety Analysis of PES (Abstract)

John A. McDermid

Shaoying Liu

pp. 217

PDF

Local-Order Restoring Validation Scheme for Client/Server Based Teleputing Systems: LOREV

Session 5-A: Formal Methods II

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

Kinh Nguyen, Victoria University of Technology

pp. 226

PDF

Formal Methods Pilot Project (Abstract)

T. Hart

F. Linn

K. Ross

pp. 238

PDF

Formal Modeling of Large Domains (Abstract)

Dao Nam Anh

Richard Moore

pp. 246

PDF

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

PDF

The Telephone Directory Enquiry System of Hong Kong (Abstract)

K.P. Chow, University of Hong Kong

T.W. Lam, University of Hong Kong

K.H. Lee, University of Hong Kong

pp. 268

PDF

Session 5-C: Design and Implementation

Design and Implementation of Dynamically Reconstructing System Software (Abstract)

Kazuhiko Kashiwagi, Nara Institute of Science and Technology

Keizo Saisho, Nara Institute of Science and Technology

Akira Fukuda, Nara Institute of Science and Technology

pp. 278

PDF

Architectural Abstractions and Language Mechanisms (Abstract)

Bent Bruun Kristensen, Aalborg University

pp. 288

PDF

Multiagent System Design Based on Object-Oriented Patterns

Session 6-A: User Interaction

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

Masao Ito, Nil Software Corp.

Koichi Kishida, Software Research Associates, Inc.

pp. 302

PDF

A Dialog-Oriented User Interface Generation Mechanism (Abstract)

J. Baeg, Dept. of Electr. Eng., Waseda Univ., Tokyo, Japan

Y. Fukazawa, Dept. of Electr. Eng., Waseda Univ., Tokyo, Japan

pp. 310

PDF

Formalisation of Interaction Diagrams (Abstract)

R. Ronnquist, Australian Artificial Intelligence Institute

C. K. Low, University of Melbourne

pp. 318

PDF

Session 6-B: Panel

If Software Reuse Can Lead IT, How? (PDF)

pp. 329

Common Sense Reuse (PDF)

pp. 330

Keynote Address: Auditing Informal Software Testing and Analysis Processes (Abstract)

pp. 332

PDF

Session 7-A: Concurrency

Software Testing and Metrics for Concurrent Computation (Abstract)

Chi-Ming Chung, TamKang University

Timothy K. Shih, TamKang University

Ying-Hong Wang, TamKang University

Wei-Chuan Lin, TamKang University

Ying-Feng Kou, TamKang University

pp. 336

PDF

A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs (Abstract)

Eisuke Itoh, Kyushu University

Zengo Furukawa, Kyushu University

Kazuo Ushijima, Kyushu University

pp. 345

PDF

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

Tetsuro Katayama, Nara Institute of Science and Technology

Zengo Furukawa, Kyushu University

Kazuo Ushijima, Kyushu University

pp. 355

PDF

Session 7-B: Development Environment II

M-base : An Application Development Environment for End-user Computing based on Message Flow (Abstract)

Takeshi Chusho, Meiji University

Yuji Konishi, Meiji University

Masao Yoshioka, Meiji University

pp. 366

PDF

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

Byung Kwon Ahn, Soong Sil University

Seung-Min Yang, Soong Sil University

Joong-Sup Choi, Soong Sil University

Moon-Hae Kim, Kon Kuk University

pp. 376

PDF

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

Veronique Plihon, University Paris I Pantheon-Sorbonne

pp. 384

PDF

Author Index (PDF)

pp. 393