The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (1996)
Seoul, KOREA
Aug. 19, 1996 to Aug. 23, 1996
ISBN: 0-8186-7579-9
TABLE OF CONTENTS

Foreword (PDF)

pp. xv

Preface (PDF)

pp. xvi

Program Overview (PDF)

pp. xvii

Committees (PDF)

pp. xviii

Reviewers (PDF)

pp. xx
Keynote Address
Session 1: Processes Supporting Software Development

Software Cost Option Strategy Tool (S-COST) (Abstract)

Hoh In , University of Southern California
Barry Boehm , University of Southern California
pp. 0015

Process Model Reuse to Promote Organizational Learning in Software Development (Abstract)

Ernst Ellmer , Technische Universit?t Wien, Institut fnr Softwaretechnik Resselgasse
Gerald Quirchmayr , Technische Universit?t Wien, Institut fnr Softwaretechnik Resselgasse
Dieter Merkl , Technische Universit?t Wien, Institut fnr Softwaretechnik Resselgasse
A Min Tjoa , Technische Universit?t Wien, Institut fnr Softwaretechnik Resselgasse
pp. 0021
Session 2: Parallelism in Petri Net

A Colored Petri Net-Based Formal Method for the Design of Control Systems (Abstract)

M. Barbeau , Universite de Sherbrooke
R. St-Denis , Universite de Sherbrooke
M. Makungu , Universite de Sherbrooke
pp. 0028

Extracting Parallelism in Nested Loops (Abstract)

W.B. Song , Dept. of Comput. Sci., Inchon Junior Coll., South Korea
B.S. Kim , Dept. of Comput. Sci., Inchon Junior Coll., South Korea
Y.H. Kong , Dept. of Comput. Sci., Inchon Junior Coll., South Korea
D.S. Park , Dept. of Comput. Sci., Inchon Junior Coll., South Korea
pp. 0041
Session 3: Multimedia Environment & Applications

Coordination of Systems with Real-Time Properties in Manifold (Abstract)

G.A. Papadopoulos , Dept. of Comput. Sci., Univ. of Cyprus, Nicosia, Cyprus
F. Arbab , Dept. of Comput. Sci., Univ. of Cyprus, Nicosia, Cyprus
pp. 0050

SESAME: A Scalable and ExtenSible Architecture for Multimedia Entertainment (Abstract)

David H.C. Du , Distributed Multimedia Research Center and Department of Computer Science University of Minnesota
Yen-Jen Lee , Distributed Multimedia Research Center and Department of Computer Science University of Minnesota
Wei-hsiu Ma , Distributed Multimedia Research Center and Department of Computer Science University of Minnesota
pp. 0056

A Popularity-Based Data Allocation Scheme for a VOD Server (Abstract)

Pattanasak Mongkolwat , Illinois Institute of Technology
Chiao-Chuan Shih , University of Illinois at Chicago
Thinh T. Nguyen , University of Illinois at Chicago
Carl K. Chang , University of Illinois at Chicago
pp. 0062
Session 4: Object-Oriented Technology I

Mapping Petri Nets to Parallel Programs in CC++ (Abstract)

Weili Yao , North Dakota State University
Xudong He , North Dakota State University
pp. 0070

Integrating Parallel Functions into the Manipulation for Distributed Persistent Objects (Abstract)

Yun Jiang , Kurashiki University of Science and the Arts
Akifumi Makinouchi , Kyushu University
Masayoshi Aritsugi , Gunma University
pp. 0076
Session 5: Metrics in Software Development

Design-Level Cohesion Measures: Derivation, Comparison, and Applications (Abstract)

Byung-Kyoo Kang , Colorado State University
James M. Bieman , Colorado State University
pp. 0092

Object-Oriented Framework for Metrics Guided Risk Management (Abstract)

Y. Shinagawa , Testing & Evaluation Div., Pentagon, Washington, DC, USA
A. Ghafoor , Testing & Evaluation Div., Pentagon, Washington, DC, USA
M.F. Khan , Testing & Evaluation Div., Pentagon, Washington, DC, USA
R. Paul , Testing & Evaluation Div., Pentagon, Washington, DC, USA
Y.F. Day , Testing & Evaluation Div., Pentagon, Washington, DC, USA
pp. 0110
Session 6: Security & Compilation

Applying Composable Security Properties to Assessment of Information Systems (Abstract)

Q. Shi , Liverpool John Moores University
N. Zhang , Manchester Metropolitan University
pp. 0118

A Task-Based Approach to Verifying Conceptual Models (Abstract)

Lein F. Lai , National Central University Chungli, Taiwan
Jonathan Lee , National Central University Chungli, Taiwan
pp. 0132
Session 7 - Panel: Multimedia on the Internet: Emerging Technology

Handling Multimedia Data for Mobile Computers (PDF)

C.E. Perkins , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0147

Multimedia Over the Internet (PDF)

R. Radhakrishna Pillai , National University of Singapore
pp. 0149

Multimedia on the Internet: Emerging Technology (PDF)

J. Smith , U.S. Dept. of Defense, USA
pp. 0151
Session 8 - Panel: Is OO Working as Promised?

Is OO Working as It Promised? (PDF)

Sahng-Mann Han , Software R&D Lab., Hyundai Electron. Co. Ltd., Seoul, South Korea
pp. 0154
Session 9 - Panel: Software Industry in Asia
Session 10: Potpourri

Business Rule Extraction from Legacy Code (Abstract)

Hai Huang , Department of Computer Science University of Minnesota
pp. 0162

Real-Time Simulation Techniques Based on the RTO.k Object Modeling (Abstract)

K.H. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 0176

Scheduling Algorithms for N-Version Programming Scheme (Abstract)

S. H. Hosseini , University of Wisconsin-Milwaukee
K. Vairavan , University of Wisconsin-Milwaukee
O. A. Abulnaja , King Abdulaziz University
pp. 0184
Session 11: Distributed DB Application Tools

Hierarchical Program Diagram Editor Based on Attributed Graph Grammar (Abstract)

Takeo Yaku , Nihon University
Kensei Tsuchida , Toyo University
Yoshihiro Adachi , Toyo University
Koushi Anzai , Kanto Gakuen University
pp. 0205

On Integrating Existing Bibliographic Databases and Structured Databases (Abstract)

Ee-Peng Lim , Sch. of Appl. Sci., Nanyang Technol. Univ., Singapore
Ying lu , Sch. of Appl. Sci., Nanyang Technol. Univ., Singapore
pp. 0214
Session 12 - Panel: Would Internet Meet Global Expectation?

Hypermedia Conference Proceedings (PDF)

K. Chon , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 0223
Keynote Address
Session 13: Formal Approaches in Software Development

Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations (Abstract)

Chia-Chu Chiang , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
J.E. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 0240
Session 14: Formal Networks

Extending Z with State Transition Constraints (Abstract)

Kenji Taguchi , Nara Institute of Science and Technology
Keijiro Araki , Nara Institute of Science and Technology
pp. 0254

Consistency Checking between Data and Process Diagrams based on Formal Methods (Abstract)

Han-Myung Chang , Nomura Research Institute, Ltd.
Syouri Kouno , Nomura Research Institute, Ltd.
Keijiro Araki , Nomura Research Institute, Ltd.
pp. 0261

A Dynamic Indexing Structure for Searching Time-Series Patterns (Abstract)

Young In Kim , Miryang National University
Youngbae Park , Myong Ji University
Jonghoon Chun , Myong Ji University
pp. 0270
Session 15: Multimedia Database

Integration of a Relational Database with Multimedia Data (Abstract)

Pyeong S. Mah , Systems Engineering Research Institute
Junguk L. Kim , Hyundai Electronics Industries Co.
Soon M. Chung , Wright State University
pp. 0290

VIRON: An Annotation-Based Video Information Retrieval System (Abstract)

Hyoung-Joo Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Ki-Wook Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Ki-Byoung Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 0298
Session 16: Object-Oriented Technology II

Modeling Active Object-Oriented Database Applications using Multi-Level Diagrams (Abstract)

C.R. Carlson , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
M.J.V. Silva , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
pp. 0306

A History-Based Approach for Early Faulty State Detection (Abstract)

David C. Kung , Department of Computer Science and Engineering The University of Texas at Arlington
Xiaolin Li , Department of Computer Science and Engineering The University of Texas at Arlington
Pei Hsia , Department of Computer Science and Engineering The University of Texas at Arlington
pp. 0321
Session 17: Software Integration

A Formal Method to Software Integration in Reuse (Abstract)

W.C. Chu , Dept. of Inf. Sci., Feng Chia Univ., Taichung, Taiwan
Hongji Yang , Dept. of Inf. Sci., Feng Chia Univ., Taichung, Taiwan
pp. 0343
Session 18 - Panel: The Role of Architecture in the Development of Software Systems

The Role of Architecture in the Development of Software Systems (PDF)

M. Boasson , Hollandse Signaalapparaten BV, Henglo, Netherlands
pp. 0350

Designing Software Architectures as Knowledge Specializations (PDF)

M. Aksit , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 0352
Session 19: Object-Oriented Database

Extending OODB with Behavioral Temporal Management Capability (Abstract)

Gwo-Dong Chen , National Central University
Yeong-Hsen Lee , National Central University
Chen-Chun Liu , National Central University
pp. 0361
Session 20 - Panel: Which Network Will Win?
Session 21: Software Architecture and Component Engineering

An Experience Report on Architecture Development (Abstract)

H.L. Lutfiyya , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
M.A. Bauer , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
pp. 0378

Slicing Functional Components from Data-Intensive Business Programs (Abstract)

Tok Wang Ling , National University of Singapore
Hee Beng Kuan Tan , National University of Singapore
pp. 0384

A Component-Based Software Development Model (Abstract)

Jim Q. Ning , Andersen Consulting
pp. 0389
Session 22 - Panel: High Assurance Systems Engineering

High Assurance Systems Engineering (PDF)

A. Ghafoor , Sch. of Electr. & Comput. Eng., Purdue Univ., West Lafayette, IN, USA
pp. 0396
Session 23: Database Theory

A New Signature Scheme for Query Processing in Object-Oriented Database (Abstract)

Hakgene Shin , Chonbuk National University
Jaewoo Chang , Chonbuk National University
pp. 0400

Optimal Linear Hashing Files for Orthogonal Range Retrieval (Abstract)

R.C.T. Lee , Dept. of Electron., Feng Chia Univ., Taichung, Taiwan
D.C. Lin , Dept. of Electron., Feng Chia Univ., Taichung, Taiwan
C.C. Chang , Dept. of Electron., Feng Chia Univ., Taichung, Taiwan
C.Y. Chen , Dept. of Electron., Feng Chia Univ., Taichung, Taiwan
pp. 0406
Session 24 - Panel: Emerging Technology for Network Software Development

Emerging Technologies for Network Software Development: Past, Present and Future (PDF)

M. Aoyama , Multimedia Service Dept., Nippon Telegraph & Telephone Corp., Japan
T. Arano , Multimedia Service Dept., Nippon Telegraph & Telephone Corp., Japan
pp. 0428

Network Management System Development Using an Application Framework (PDF)

T. Fujisaki , Software Lab., Nippon Telegraph & Telephone Corp., Tokyo, Japan
pp. 0429
Keynote Address

Revolutionizing Software Development (PDF)

Robert L. Martin , Technology Officer, Lucent Technologies, USA
pp. 0432
Session 25 - Panel: Software Process Re-Engineering & Improvement

Software Process Re-engineering and Improvement (PDF)

M. Aoyama , Dept. of Inf. & Electron. Eng., Niigata Inst. of Technol., Japan
pp. 0434

A Team-Based Process Improvement Initiative (PDF)

Poh Yee Wong , Inf. Technol. Inst., Singapore
pp. 0437
Session 26: Testing & Debugging

A Tool for Debugging OSF DCE Applications (Abstract)

David J. Taylor , University of Waterloo
James P. Black , University of Waterloo
Thomas Kunz , University of Waterloo
pp. 0440

Applying Conventional Testing Techniques for Class Testing (Abstract)

M. Munro , Dept. of Comput. Eng., Hallym Univ., Chunchon, South Korea
In-S Chung , Dept. of Comput. Eng., Hallym Univ., Chunchon, South Korea
Y.R. Kwon , Dept. of Comput. Eng., Hallym Univ., Chunchon, South Korea
W.K. Lee , Dept. of Comput. Eng., Hallym Univ., Chunchon, South Korea
pp. 0447

Detection of Infeasible Paths Using Presburger Arithmetic (Abstract)

Kuniaki Naoi , NTT Software Laboratories, 3-9-11, Midori-cho, Musashino-shi, Tokyo 180, Japan
Naohisa Takahashi , NTT Software Laboratories, 3-9-11, Midori-cho, Musashino-shi, Tokyo 180, Japan
pp. 0461
Session 27: Network-Software Engineering

Mobile-IP, Ad-Hoc Networking, and Nomadicity (Abstract)

C.E. Perkins , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0472

Hardware/Software Partitioning for Telecommunications Systems (Abstract)

F. Rousseau , Evry Univ., France
M. Israel , Evry Univ., France
J.-M. Berge , Evry Univ., France
pp. 0483
Session 28: Object-Oriented Applications

An Object-Oriented Real Time Systems Modeling and Verification Methodology (Abstract)

Jyhjong Lin , The University of Texas at Arlington
David C. Kung , The University of Texas at Arlington
Scott R. Oksanen , The University of Texas at Arlington
pp. 0490

OOHS: An Object-Oriented Hypermedia System (Abstract)

JaeWoo Chang , Center for Korean Language Engineering Systems Engineering Research Institute
HakGene Shin , Center for Korean Language Engineering Systems Engineering Research Institute
HyunKi Kim , Center for Korean Language Engineering Systems Engineering Research Institute
pp. 0496

A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development (Abstract)

S.S. Yau , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Jun Wang , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 0502
Session 29: Software Design and Analysis Methods

Opusdei-Integrated Environment for Software Development and Maintenance (Abstract)

H. Suganuma , Hitachi Software Eng., Yokohama, Japan
A.K. Onoma , Hitachi Software Eng., Yokohama, Japan
M. Poonawala , Hitachi Software Eng., Yokohama, Japan
T. Syomura , Hitachi Software Eng., Yokohama, Japan
S. Subramanian , Hitachi Software Eng., Yokohama, Japan
W.T. Tsai , Hitachi Software Eng., Yokohama, Japan
pp. 0516

Measuring the Structural Complexity of OPS5 Rule-Based Programs (Abstract)

Kim Cheng , University of Houston--University Park
Albert Mo , University of Houston--University Park
pp. 0522
Session 30 - Panel: Software Education in the Asia-Pacific Region in the 21st Century
Session 31: Client/Server & Video Processing

A Language for Developing Collaborative Learning Activities on World Wide Web (Abstract)

Baw-Jhiune Liu , National Central University
Kou-Liang Ou , National Central University
Gwo-Dong Chen , National Central University
Chih-Kai Chang , National Central University
pp. 0548
Closing Session: The Trends of Software Technology and Applications

(PDF)

pp. 0558
Addendum

Author Index (PDF)

pp. 0567
91 ms
(Ver )