The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (1999)
Takamatsu, Japan
Dec. 7, 1999 to Dec. 10, 1999
ISSN: 1530-1362
ISBN: 0-7695-0509-0
TABLE OF CONTENTS
Keynote Address 1:
Session 1S: Software Evolution

Empirical Observations on Object Evolution (Abstract)

Takako Nakatani , University of Tokyo
Tetsuo Tamai , University of Tokyo
pp. 2

An Approach for Measuring Software Evolution Using Source Code Features (Abstract)

Kostas Kontogianni , University of Waterloo
Richard Gregory , University of Waterloo
Ladan Tahvildari , University of Waterloo
pp. 10

Software Development Based on Software Pattern Evolution (Abstract)

Takashi Kobayashi , Tokyo Institute of Technology
Motoshi Saeki , Tokyo Institute of Technology
pp. 18
Session 1A: Components and Frameworks 1

Application of CBSE to Projects with Evolving Requirements - A Lesson-Learned (Abstract)

Dar-Biau Liu , California State University at Long Beach
Vu N. Tran , ArcQuest Corporation
pp. 28

An Operational Component Specification Method (Abstract)

Hyung Ho Kim , Korea Advanced Institute of Science and Technology
Hyo Taeg Jung , Electronics and Telecommunications Research Institute
Doo Hwan Bae , Korea Advanced Institute of Science and Technology
Yun Dae Chung , Electronics and Telecommunications Research Institute
Dong Kwan Kim , Electronics and Telecommunications Research Institute
pp. 38

Connector Modeling Method for Component Extraction (Abstract)

Dong Kwan Kim , ETRI Computer and Software Technology Laboratory
Soo Dong Kim , Soongsil University
Young Ran Yu , Soongsil University
pp. 46

COMO: A UML-Based Component Development Methodology (Abstract)

Sang Duck Lee , ETRI Computer & Software Technology Laboratory
Young Jong Yang , ETRI Computer & Software Technology Laboratory
Sung Yul Rhew , Soongsil University
Soo Dong Kim , Soongsil University
Eun Sook Cho , Soongsil University
pp. 54
Session 1B: Internet Applications Engineering

Development of an Intelligent Web Interface to Online Library Catalog Databases (Abstract)

Glenn Hong , Nanyang Technological University
Danny C.C. Poo , National University of Singapore
Christopher S.G. Khoo , Nanyang Technological University
Teck Kang Toh , National University of Singapore
pp. 64

Automatic Selecting of Required NetNews Articles (Abstract)

Akira Fukuda , Nara Institute of Science and Technology
Junichi Funasaka , Nara Institute of Science and Technology
Keizo Saisho , Nara Institute of Science and Technology
pp. 88
Session 1C: Formal and Visual Methods

Visualization of Formal Specifications (Abstract)

Soon-Kyeong Kim , University of Queensland
David Carrington , University of Queensland
pp. 102

Interactive Layout Method for Object Diagrams of OMT (Abstract)

Takayoshi Noguchi , University of Tsukuba
Jiro Tanaka , University of Tsukuba
pp. 110

A Visual Programming Method for Developing Sequence Controller Programs (Abstract)

Atsushi Ohnishi , Ritsumeikan University
Yongil Shin , Ritsumeikan University
pp. 118
Session 2S: Empirical Software Engineering

A Study of Productivity and Efficiency for Object-Oriented Methods and Languages (Abstract)

Monica McArthur , Hughes Space and Communications
Daniel Port , University of Southern California
pp. 128

Strongly Formative Pilot Studies on Constraints in Early Life-Cycle Work (Abstract)

Louise Scott , Macquarie University
Andrew Brooks , University of Strathclyde
Shingo Takada , Keio University
pp. 614

Factor Analysis of Comprehension States in the Learning Phases of a Programming Language (Abstract)

Ken-ichi Matsumoto , Nara Institute of Science and Technology
Kazuyuki Shima , Nara Institute of Science and Technology
Yasuhiro Takemura , Nara Institute of Science and Technology
Katsuro lnouett , Nara Institute of Science and Technology
pp. 136
Session 2A: Components and Frameworks 2

Intelligent Search Agent for Software Components (Abstract)

Chisu Wu , Seoul National University
Seoyoung Park , Seoul National University
pp. 154

SMARTS: A Smart CORBA Trader Service (Abstract)

Soo Dong Kim , Soongsil University
Jae Jeong You , Soongsil University
pp. 166

An Object-Oriented Framework for Content-Based Image Retrieval Based on 5-Tier Architecture (Abstract)

Grant Fuller , University of Cambridge
Ringo Lam , City University of Hong Kong
R. Hanka , University of Cambridge
Kent K.T. Cheung , City University of Hong Kong
Lilian H.Y. Tang , University of Cambridge
Horace H.S. Ip , City University of Hong Kong
pp. 174
Session 2B: Business Process Modeling and Applications

Evolution of Business Processes and a Process Simulation Tool (Abstract)

Hiroyuki Tarumi , Kyoto University
Yahiko Kambayashi , Kyoto University
Tetsuya Matsuyama , Kyoto University
pp. 180

An Integrated Framework of Supply Chain Management System (Abstract)

Xuan Zhao , University of British Columbia
Yuan Li , Northeastern University
Zhiping Fan , Northeastern University
pp. 196

Software Support for Distributed Business Processes (Abstract)

Ursula Wellen , University of Dortmund
Volker Gruhn , University of Dortmund
pp. 200
Session 2C: Requirements Engineering

Using Multiple Graphs of Programs to Modify Specifications (Abstract)

Motoshi Saeki , Tokyo Institute of Technology
Takahiro Nakanishi , Tokyo Institute of Technology
pp. 216
Session 3S: Panel
Session 3A: Software Architectures

Towards a Broader View on Software Architecture Analysis of Flexibility (Abstract)

Daan Rijsenbrij , Vrije Universiteit
Hans van Vliet , Vrije Universiteit
Nico Lassing , Vrije Universiteit
pp. 238

A Reusable Distributed Software Architecture Driven by Metadata (Abstract)

Perfecto Mariño , University of Vigo
Juan B. Nogueira , University of Vigo
Francisco Poza , University of Vigo
Miguel A. Dominguez , University of Vigo
Cesar A. Sigüenza , University of Vigo
pp. 246
Session 3B: Software Agents 1

Analysis and Verification of Multi-Agent Interaction Protocols (Abstract)

Wu Wen , Science University of Tokyo
Fumio Mizoguchi , Science University of Tokyo
pp. 252

Design and Implementation of Multi-Agent for Intelligent Software (Abstract)

Issam A. Hamid , Iwate Prefectural University
David Ramamonjisoa , Iwate Prefectural University
pp. 268
Session 3C: Tools and Environments

Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version (Abstract)

Gyusang Shin , ETRI-CSTL
Euyseok Hong , Anyang University
Taegyun Kim , Pusan University of Foreign Studies
pp. 622

?SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications (Abstract)

J. Robert Horgan , Telcordia Technologies
J. Jenny Li , Telcordia Technologies
pp. 274
Session 4S: Panel
Session 4A: Software Patterns

A Formal Basis for Object-Oriented Patterns (Abstract)

Richard Moore , United Nations University
Alejandra Cechich , University of Comahue
pp. 284

Pattern Based Software Re-engineering: A Case Study (Abstract)

J.P. Shiu , Feng Chia University
Chih-Wei Lu , Feng Chia University
Xudong He , Florida International University
William C. Chu , TungHai University
pp. 300
Session 4B: Software Agents 2

Agent-Oriented Software Modeling (Abstract)

Sooyong Park , Sogang University
Injae Park , Sogang University
Jintae Kim , Sogang University
Seungyun Lee , Sogang University
Minjeong Kim , Sogang University
pp. 318

Reusable Strategies for Software Agents via the Subsumption Architecture (Abstract)

Peter Grogono , Concordia University
Andrea Gantchev , Concordia University
Greg Butler , Concordia University
pp. 326
Session 4C: Program Slicing and Analysis 1

Slicing Methods Using Static and Dynamic Analysis Information (Abstract)

Katsuro Inoue , Osaka University and Nana Institute of Science and Technology
Fumiaki Ohata , Osaka University
Yoshiyuki Ashida , Osaka University
pp. 344

Extracting Code Fragment that Implements Functionality (Abstract)

Juan Tiang Kow , Nanyang Technological University
Hee Beng Kuan Tan , Nanyang Technological University
pp. 351

VRML Program Slicing (Abstract)

Keijiro Araki , Kyushu University
Hiroshi Maruyama , NEC Software Kyushu, Ltd.
pp. 355

Deriving Program Physical Structures Using Bond Energy Algorithm (Abstract)

Narasimhaiah Gorla , Hong Kong Polytechnic University
Kang Zhang , Macquarie University
pp. 359
Keynote Address 2
Session 5S: Panel
Session 5A: Object-Oriented Methodologies 1

Specifying Constraints with Message Sequence Specifications (Abstract)

Yongzhong Tu , University of Minnesota
Yang Xiang , University of Minnesota
Wei-Tek Tsai , University of Minnesota
pp. 368

Improving Object Oriented Analysis by Explicit Change Analysis (Abstract)

Siew Chee Khong , Nanyang Technological University
Yi Xun , Nanyang Technological University
Miao Yuan , Nanyang Technological University
Liu Yu , Nanyang Technological University
pp. 384

Object-Oriented Essential Modeling (Abstract)

Liwu Li , University of Windsor
pp. 388
Session 5B: Software Engineering Practice

Feature-Oriented Engineering of PBX Software (Abstract)

Kwanwoo Lee , Pohang Unviersity of Science and Technology
Kyo C. Kang , Pohang Unviersity of Science and Technology
Jaejoon Lee , LG Information & Communication Ltd.
Sajoong Kim , Pohang Unviersity of Science and Technology
pp. 394

Applying SOFL to Develop a University Information System (Abstract)

Shaoying Liu , Hiroshima City University
Ryuichi Sato , Active Brains & Trust Corporation
Masaomi Shibata , Haielekonkowa Limited
pp. 404

Software Creation: Detail of Human Design Knowledge and Its Application to Automatic Software Design (Abstract)

Hui Chen , Saitama University
Behrouz H. Far , Saitama University
Zenya Koono , Saitama University
Hassan Abolhassani , Saitama University
pp. 412

A Systematic Approach to Software Safety (Abstract)

Raghu Singh , Federal Aviation Administration
pp. 420
Session 5C: Program Slicing and Analysis 2

Towards an Algorithmic Debugging for Distributed Programs (Abstract)

Tsuyoshi Ohta , Shizuoka University
Tadanori Mizuno , Shizuoka University
pp. 426

On the Practical Static Checker of Semantic Run-Time Errors (Abstract)

Vladimir I. Shelekhov , Russian Academy of Sciences,
Sergey V. Kuksenko , Russian Academy of Sciences,
pp. 434

A System Dependence Net Generator for Ada Programs (Abstract)

Jingde Cheng , Kyushu University
Katsuhiko Hatano , Kyushu University
Yoshinari Nomura , Kyushu University
Yusuke Nonaka , Kyushu University
Kazuo Ushijima , Kyushu University
pp. 441

The Quest for Correct Systems: Model Checking of Diagrams and Datatypes (Abstract)

Jan Philipps , Technical Univesit?t M?nchen
Oscar Slotosch , Technical Univesit?t M?nchen
pp. 449
Keynote Address 3
Session 6S: Panel
Session 6A: Behavior and Semantic Models

Simply Observable Behavioral Specification (Abstract)

Michihiro Matsumoto , Japan Advanced Institute of Science and Technology
Kokichi Futatsugi , Japan Advanced Institute of Science and Technology
pp. 460

Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks (Abstract)

Yoonsik Cheon , ETRI Computer and Software Technology Laboratories
Heung-Nam Kim , ETRI Computer and Software Technology Laboratories
pp. 468
Session 6B: Real-Time Software Engineering

Expanding Small Example into Large Scale Real-Time Control System (Abstract)

Hiromitsu Shimakawa , Mitsubishi Electric Corporation
Hyogo Amagasaki , Mitsubishi Electric Corporation
George Ido , Mitsubishi Electric Corporation
Hideyuki Takada , Mitsubishi Electric Corporation
Satoshi Horiike , Mitsubishi Electric Corporation
pp. 486

Proposal of a Support System for Device Driver Generation (Abstract)

Keizo Saisho , Nara Institute of Science and Technology
Akira Fukuda , Nara Institute of Science and Technology
Tetsuro Katayama , Nara Institute of Science and Technology
pp. 494
Session 6C: Reengineering and Maintenance

Interactive Variable Classification Technique to Support the Maintenance of COBOL Business Application Systems (Abstract)

Akira Ogawa , Fujitsu Ltd.
Sanya Uehara , Fujitsu Laboratories Ltd.
Akihiko Matsuo , Fujitsu Laboratories Ltd.
Keiko Kawabe , Fujitsu Laboratories Ltd.
pp. 500

Maintenance with Reuse: An Integrated Approach Based on Software Configuration Management (Abstract)

Oh-Cheon Kwon , Electronics & Telecommunications Research Institute
Gyu-Sang Shin , Electronics & Telecommunications Research Institute
Malcolm Munro , University of Durham
Cornelia Boldyreff , University of Durham
pp. 507

Maintainability Myth Causes Performance Problems in SMP Application (Abstract)

PerOlof Bengtsson , University of Karlskrona
Jan Bosch , University of Karlskrona
Lars Lundberg , University of Karlskrona
Daniel Häggander , University of Karlskrona
pp. 516
Session 7S: Panel
Session 7A: Object-Oriented Methodologies 2

Enhancing Object-Based System Composition through Per-Object Mixins (Abstract)

Gustaf Neumann , University of Essen
Uwe Zdun , University of Essen
pp. 522

Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm (Abstract)

Michael R. Lyu , Chinese University of Hong Kong
Gang Xing , Chinese University of Hong Kong
pp. 530

On the Way to Establishing a jPLoP Community (Abstract)

Terunobu Fujino , InArcadia, Ltd.
Tatsuo Kato , NK-EXA Corporation
Masao Tomono , NK-EXA Corporation
pp. 546
Session 7B: Software Process, Collaboration and Project Management

An Object-Oriented Formal Model for Software Project Management (Abstract)

Jyhjong Lin , Chaoyang University of Technology
Chunshou Yeh , Chaoyang University of Technology
pp. 552

Supporting Distributed Collaborative Prioritization (Abstract)

Daniel Port , University of Southern California
Jung-Won Park , University of Southern California
Barry Boehm , University of Southern California
pp. 560

ASP (A Software Process) for Improving Software Process (Abstract)

Tae Jin Lim , Samsung Electronics Corporation Limited
Kang Sun Lee , Samsung Electronics Corporation Limited
Eun Sook Bang , Samsung Electronics Corporation Limited
Tae Hee Cho , Samsung Electronics Corporation Limited
Joon Sung Hong , Samsung Electronics Corporation Limited
pp. 564

Extending the Liaison Workflow Model and Engine to Support Different Signature Purposes (Abstract)

Ricky W.M. Tang , University of Hong Kong
Lucas C.K. Hui , University of Hong Kong
Karl R.P.H. Leung , Hong Kong Institute of Vocational Education
pp. 572
Session 7C: Testing

An Approach to Automated Program Testing and Debugging (Abstract)

Yumiko Tashiro , University of Tokushima
Tetsuo Fujii , University of Tokushima
Mitsuhisa Yamamuro , University of Tokushima
Daisuke Kasai , University of Tokushima
Zhang Xinjun , University of Tokushima
Hiroki Takata , University of Tokushima
Takao Shimomura , University of Tokushima
pp. 582

Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences (Abstract)

Eisuke Itoh , Kyushu University
Kazuo Ushijima , Kyushu University
Zengo Furukawa , Kagawa University.
Tetsuro Katayama , Nara Institute of Science and Technology
pp. 590

Integrating Approximation Methods with the Generalized Proportional Sampling Strategy (Abstract)

P.K. Wong , Hong Kong Institute of Vocational Education
T.Y. Chen , Hong Kong Institute of Vocational Education and University of Melbourne
Y.T. Yu , City University of Hong Kong
pp. 598

MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications (Abstract)

T.Y. Chen , Hong Kong Institute of Vocational Education and University of Melbourne
M.F. Lau , University of Hong Kong
Y.T. Yu , City University of Hong Kong
pp. 606
Closing Panel: Software Engineering for the New Millennium

Author Index (PDF)

pp. 637
112 ms
(Ver )