CSDL - Proceedings A

Message from the Program Co-Chairs (PDF)

pp. x

Committees (PDF)

pp. xi

List of Reviewers (PDF)

pp. xiii

Keynote Address

Rethinking Software Engineering

Session 1A: Architecture, Framework & Components I

Optimization of Multi-way Clustering and Retrieval using Genetic Algorithms in Reusable Class Library (Abstract)

Byungjeong Lee, Seoul National University

Byungro Moon, Seoul National University

Chisu Wu, Seoul National University

pp. 4

PDF

Experiment of Component-Based Software Development on Multiple Distributed Object Environments (Abstract)

Yoshio Satoh, COMNIC-SOKEN Corporation

pp. 12

PDF

An Enhanced Reflective Architecture for Adaptation of the Object-Oriented Language/Software (Abstract)

Chao- Hsin Lin, National Kaohsiung First University of Science and Technology

Tzilla Elrad, Illinois Institute of Technology

pp. 20

PDF

Why Is It So Hard to Define Software Architecture? (Abstract)

J. Baragry

K. Reed

pp. 28

PDF

Session 1B: Formal Methods

How to Reconcile Formal Specifications and Automatic Programming: The Descartes System (Abstract)

Jean-Yves Lucas, Electricite de France

Jean-Luc Dormoy, Electricite de France

Bruno Ginoux, Electricite de France

Claudia Jimenez-Dominguez, Electricite de France

Laurent Pierre, Electricite de France

pp. 38

PDF

Integration of Software Analysis and Design Methods with Formal Description Techniques (Abstract)

S. Sureerat

M. Saeki

pp. 46

PDF

Automatically Generating C++ Programs from LOTOS Behavior Specifications (Abstract)

C. Kim

K. Kim

C. Jeong

Y. Oh

pp. 54

PDF

A Refinement Calculus for the Development of Real-Time Systems (Abstract)

Z. Chen

A. Cau

H. Zedan

X. Liu

H. Yang

pp. 61

PDF

Session 1C: Metrics & Quality Assurance

A Software Metric Combination Model for Software Reuse (Abstract)

Sen-Tarng Lai, Chunghwa Telecom Co. Ltd.

Chien-Chiao Yang, National Taiwan University of Science and Technology

pp. 70

PDF

Static and Dynamic Metrics for Effective Object Clustering (Abstract)

pp. 78

PDF

On The Danger Of Developing Measures Without Clarifying Concepts (Abstract)

Franck Xia, University of Macao

pp. 86

PDF

Session 2A: Architecture, Framework & Components II

A Reuse Case Perspective on Documenting Frameworks (Abstract)

pp. 94

PDF

wwHww : An Application Framework of Distributed Systems for Enduser-Initiative Development (Abstract)

Takeshi Chusho, Meiji University

Katsuya Fujiwara, Meiji University

pp. 102

PDF

A Comprehensive Interface Definition Framework for Software Components (Abstract)

Jun Han, Monash University

pp. 110

PDF

Session 2B: Software Design Methodology

CTAG Software Generator Model for Constructing Network Applications (Abstract)

Tomohiro Matsuzaki, Tokyo Institute of Technology

Takehiro Tokuda, Tokyo Institute of Technology

pp. 120

PDF

Computer-Assisted Analysis and Refinement of Informal Software Requirements Documents (Abstract)

J.L. Cybulski

K. Reed

pp. 128

PDF

Explicit Representation of Business Policies (Abstract)

D.C.C. Poo

pp. 136

PDF

Liaison: A Workflow Model for Novel Applications (Abstract)

pp. 144

PDF

Session 2C: Validation and Verification I

High Performance Technique for Ultrareliable Execution of Tasks Under Both Hardware and Software Faults (Abstract)

pp. 154

PDF

Specification-Based Class Testing with ClassBench (Abstract)

pp. 164

PDF

Mutation-Based Inter-Class Testing (Abstract)

H. Yoon

B. Choi

J.-O. Jeon

pp. 174

PDF

A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets (Abstract)

W. Wu

pp. 182

PDF

Panel Session 1A

How Can a Small Software Company Survive in Asia?

Panel Session 1B

How Can We Conduct Research in Software Engineering?

Multiple Views of Software Engineering

Session 3A: UML

Reusing UML Specifications in a Constrained Application Domain (Abstract)

M.C. Blok

J.L. Cybulski

pp. 196

PDF

Techniques for Systematically Generating Framework Diagram based on UML (Abstract)

Dong Kwan Kim, Electronics and Telecommunications Research Institute

Hyo Taeg Jung, Electronics and Telecommunications Research Institute

Chae Kyu Kim, Electronics and Telecommunications Research Institute

pp. 203

PDF

A UML-Based Object-Oriented Framework Development Methodology (Abstract)

pp. 211

PDF

Session 3B: Software Development Environment

An Experience Report Related to Restructuring OODesigner: A CASE Tool for OMT (Abstract)

Taegyun Kim, Pusan University of Foreign Studies

Nacer Boudjlida

pp. 220

PDF

Customizable Software Engineering Environments for Flexible Distributed Software Teams (Abstract)

Robert P. Biuk-Aghai, University of Macau

pp. 228

PDF

An Efficient Version Model of Software Diagrams (Abstract)

Jungkyu Rho, Seoul National University

Chisu Wu, Seoul National University

pp. 236

PDF

Component and Data Distribution in a Distributed Workflow Management System (Abstract)

S.-Y. Hwang

C.-T. Yang

pp. 244

PDF

Session 3C: Validation and Verification II

Verifying Model Oriented Specifications through Animation (Abstract)

E. Kazmierczak

M. Winikoff

P. Dart

pp. 254

PDF

Design and Implementation of Test-Case Generation for Concurrent Programs (Abstract)

Tetsuro Katayama, Nara Institute of Science and Technology

Zengo Furukawa, Kagawa University

Kazuo Ushijima, Kyushu University

pp. 262

PDF

An Automatic Test Case Generator Derived from State-Based Testing (Abstract)

Bor-Yuan Tsai, University of Sunderland

Simon Stobart, University of Sunderland

Norman Parrington, University of Sunderland

Ian Mitchell, University of Sunderland

pp. 270

PDF

A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification (Abstract)

pp. 278

PDF

Session 4A: Object-Oriented Techniques I

Interpreting the Object Constraint Language (Abstract)

Ali Hamie, University of Brighton,

John Howse, University of Brighton,

Stuart Kent, University of Brighton,

pp. 288

PDF

Unification and Consistency Verification of Object-Oriented Analysis Models (Abstract)

T. Aoki

T. Katayama

pp. 296

PDF

Change Impact Analysis for A Class Hierarchy (Abstract)

Yoon Kyu Jang, Korea Advanced Institute of Science and Technology

Heung Seok Chae, Korea Advanced Institute of Science and Technology

Yong Rae Kwon, Korea Advanced Institute of Science and Technology

Doo Hwan Bae, Korea Advanced Institute of Science and Technology

pp. 304

PDF

Session 4B: Distributed and Mobil Systems

A Computing Model for Distributed Processing Systems and Its Application (Abstract)

Hisashi Okada, Nihon Unisys, Ltd.

Hiromichi Iwata, Nihon Unisys, Ltd.

Haruo Toyama, Nihon Unisys, Ltd.

Yoshitomi Morisawa, Nihon Unisys, Ltd. and Nara Institute of Science and Technology

pp. 314

PDF

Partitioning and Allocation of Objects in Heterogeneous Distributed Environments Using the Niched Pareto Genetic-Algorithm (Abstract)

Seunghoon Choi, Seoul National University

Chisu Wu, Seoul National University

pp. 322

PDF

COPEN: A CORBA-Based Intelligent Push Engine (Abstract)

pp. 330

PDF

CSMonitor: A Visual Client/Server Monitor for CORBA-Based Distributed Applications (Abstract)

pp. 338

PDF

Session 4C

Software Engineering Education

Panel Session 2A

How Can We Solve the Y2K Problem in Time?

Panel Session 2B

Facing the Challenge of Human Resource Shortage

Panel Session 2C

IEEE Computer Society Technical Council on Software Engineering (TCSE) Asia/Pacific First Meeting

Software Industry Development in India ¾: Its Past and Future

Session 5A: Object-Oriented Techniques II

The CACTUS Object Server: Design and Implementation Issues (Abstract)

pp. 354

PDF

Constructing a Toolset for Software Maintenance with OOAG (Abstract)

pp. 361

PDF

A Difference-Based Version Model for OODBMS (Abstract)

Kuen-Fang Jea, National Chung-Hsing University

Hwai-Bih Feng, National Chung-Hsing University

Yang-Ren Yau, National Chung-Hsing University

Shih-Kung Chen, Institute for Information Industry, Taiwan

Jian-Cheng Dai, Institute for Information Industry, Taiwan

pp. 369

PDF

Method of User-Customizable GUI Generation and Its Evaluation (Abstract)

Junko Shirogane, Waseda University

Yoshiaki Fukazawa, Waseda University

pp. 377

PDF

Panel Session 3A: Distributed Object-Oriented Computing Architecture

Distributed Object-Oriented Computing Architecture

Author Index (PDF)

pp. 386