The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (1995)
Dallas, Texas
Aug. 9, 1995 to Aug. 11, 1995
ISBN: 0-8186-7119-X
TABLE OF CONTENTS
Session 1: Advances in Formal Methods I

Temporal Event Analysis and Program Understanding (Abstract)

G.M. Shi , University of California at San Diego
W.E. Howden , SERL, University of Hawaii
pp. 4

FunZ Designs -- A Bridge Between Z Specifications and Haskell Implementations (Abstract)

Linda B. Sherrell , Department of Computer Science Louisiana State University
Doris L. Carver , Department of Computer Science Louisiana State University
pp. 12

Automatic Generation of C++ Code from an ESCRO2 Specification (Abstract)

L. Liu , Department of Computer Science Baylor University
P. C. Grabow , Department of Computer Science Baylor University
pp. 18
Session 2: Knowledge-Based Systems

A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases (Abstract)

Hing-Yan Lee , Information Technology Institute, National Computer Board
Eng-Whatt Toh , Information Technology Institute, National Computer Board
Hwee-Leng Ong , Information Technology Institute, National Computer Board
Sieu-Kong Chan , Information Technology Institute, National Computer Board
pp. 26

A Knowledge-Based Approach for Worst-Case Timing Analysis of Microprocessor Systems (Abstract)

K. P. Lam , The Chinese University of Hong Kong Shatin, New Territories, Hong Kong
S. M. Yuen , The Chinese University of Hong Kong Shatin, New Territories, Hong Kong
pp. 32

Knowledge Reuse through the Application of the Object Knowledge Canonical Form (Abstract)

Dick B. Simmons , Department of Computer Science Texas A&M University
Kunhuang Huarng , Department of Information Management Ling Tung College
pp. 40
Session 3: Panel: Software Industry Growth: Funding Based on Software Valuation
Session 4: Advances in Formal Methods II

A Method for Analyzing Properties of Hierarchical Predicate Transition Nets (Abstract)

Xudong He , Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA
pp. 50

Mechanical Synthesis of a Unification Algorithm in PowerEpsilon (Abstract)

Ming-Yuan Zhu , Artificial Intelligence Lab., Beijing Inst. of Syst. Eng., China
Xiao-Bai Mo , Artificial Intelligence Lab., Beijing Inst. of Syst. Eng., China
pp. 56

Expressing JSD in Z (Abstract)

Jonathan Lee , Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
Jiann-I Pan , Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
Cheng-Kai Chang , Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
Wei T. Huang , Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
pp. 62
Session 5: Modeling Techniques

Design and Implementation of Multiple Type Objects in a Persistent Programming Language (Abstract)

Akifumi Makinouchi , Department of Computer Science and Communication Engineering Kyushu University
Masayoshi Aritsugi , Department of Computer Science and Communication Engineering Kyushu University
pp. 70

An Expanded View of Domain Modeling for Software Analogy (Abstract)

Joseph E. Urban , Department of Computer Science and Engineering Arizona State University
Chung-Horng Lung , Department of Computer Science and Engineering Arizona State University
pp. 77

Dynamic Hierarchy for Multiagent Air Combat (Abstract)

Boris Stilman , Department of Computer Science & Engineering University of Colorado at Denver
pp. 83
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
Session 7: Software Support Leverage for Formal Methods

Requirement Specification in Pseudo-Natural Language in PROMIS (Abstract)

Ronglin Wan , Institute of Mathematics The Chinese Academy of Science
Zhi Jin , Institute of Mathematics The Chinese Academy of Science
Ruqian Lu , Institute of Mathematics The Chinese Academy of Science
pp. 96

Checking Program Proofs Made Easy (Abstract)

Bruce McMillin , Computer Science Department State University of New York at Stony Brook
Martina Schollmeyer , Texas A&M University-Corpus Christi Department of Computer Science
pp. 102

An Approach to Animating Z Specifications (Abstract)

Xiaoping Jia , Sch. of Comput. Sci., Telecommun. & Inf. Syst., DePaul Univ., Chicago, IL, USA
pp. 108
Session 8: Database Applications

A Study on Developing a Distributed Problem-Solving System (Abstract)

Eun Gyung Kim , Dept. of Information and Communication Engineering Korea Institute of Technology and Education
pp. 122

Using Constraints for Distributed Query Processing (Abstract)

Jongpil Yoon , Department of Computer Science, Sookmyung Women's University, Seoul, Korea
pp. 128

Management of Flexible Transactions Using Semantics in Multidatabase Systems (Abstract)

Pyeong S. Mah , Dept. of Computer Science & Eng.
Soon M. Chung , Dept. of Computer Science & Eng.
Junguk L. Kim , Bellcore
pp. 134
Session 9: Performance Evaluation and Optimization

Performance Evaluation of Dynamic Signature File Methods (Abstract)

Yoon-Joon Lee , Dept. of Computer Science
Myoung Ho Kim , Dept. of Computer Science
Jae Soo Yoo , Dept. of Computer Science & Statistics Mokpo National University
Byoung Mo Im , Dept. of Computer Science
pp. 144

Applying Dynamic Buffer Allocation to Predictive Load Control (Abstract)

Sukho Lee , Department of Computer Engineering Seoul National University
Sangdon Lee , Department of Computer Engineering Seoul National University
pp. 150

A Simple Tree Pattern Matching Algorithm for Code Generator (Abstract)

Feipei Lai , Dept. of Electrical Engineering National Taiwan University, Taipei, Taiwan, R.O.C.
Rung-Ji Shang , Dept. of Electrical Engineering National Taiwan University, Taipei, Taiwan, R.O.C.
Tzer-Shyong Chen , Dept. of Electrical Engineering National Taiwan University, Taipei, Taiwan, R.O.C.
pp. 162
Thursday Plenary Session: Keynote Address II
Session 10: Software Development Tools

User Interface Design: The WHO, the WHAT, and the HOW Revisited (Abstract)

Chris Stary , University of Technology Vienna
pp. 178

LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior (Abstract)

Aditya P. Mathur , Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
Vivek Khandelwal , Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
Geoffrey Greene , Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
David B. Boardman , Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
pp. 184
Session 11: Object-Oriented Approach for Distributed Systems

Object-Oriented Design for a Distributed Priority Queue (Abstract)

Pen-Nan Lee , Fieng-Chia University, Taichung, Taiwan, R.O.C.
Yiwei Chen , Department of Computer Science, University of Houston
Ping-Chuan Tai , Department of Computer Science, University of Houston
Lawrence Miller , Department of Computer Science, University of Houston
pp. 192

Application Layer Software Fault Tolerance for Distributed Object-Oriented Systems (Abstract)

H.C. Kim , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
V.S.S. Nair , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 199

IPCC++: A C++ Extension for InterProcess Communication with Objects (Abstract)

D. L. Carver , Department of Computer Science Louisiana State University
Shelly S. Stubbs , Department of Computer Science Louisiana State University
pp. 205
Session 12: Metrics and Software Quality

A Policy Independent Metric for Process Selection in Distributed Systems (Abstract)

Yvan Cazabon , PRIOR Data Sciences Ltd. Mississauga, Ontario L4W 4P4 Canada
Michael Bauer , Department of Computer Science, The University of Western Ontario London, Ontario Canada, N6A 5B7
pp. 212

Quality Assessment for Multiple Server Cooperating Systems (Abstract)

Ing-Ray Chen , Institute of Information Engineering National Cheng Kung University No. 1, University Road, Tainan, Taiwan
I-Ling Yen , Department of Computer Science Michigan State University East Lansing, MI 48824-1027
pp. 218

Improving Software Quality through a Novel Testing Strategy (Abstract)

Thomas J. Weigert , Land Mobile Products Sector Motorola, Inc. Schaumburg, IL 60196
Xiaomu Zeng , Dept. of Electrical Eng. and Computer Science University of Illinois at Chicago Chicago, IL 60607-7053
Jeffrey J.P Tsai , Dept. of Electrical Eng. and Computer Science University of Illinois at Chicago Chicago, IL 60607-7053
pp. 224
Session 13: Prototyping and Testing

Object State Testing for Object-Oriented Programs (Abstract)

P. Hsia , Texas Univ., Arlington, TX, USA
D. Kung , Texas Univ., Arlington, TX, USA
J.Z. Gao , Texas Univ., Arlington, TX, USA
C. Chen , Texas Univ., Arlington, TX, USA
Y. Toyoshima , Texas Univ., Arlington, TX, USA
pp. 232

A Test Strategy for Object-Oriented Programs (Abstract)

Jerry Gao , Computer Science Engineering Dept.
Cris Chen , Fujitsu Network Transmission Systems, Inc.
David Kung , Computer Science Engineering Dept.
Yasufumi Toyoshima , Fujitsu Network Transmission Systems, Inc.
Pei Hsia , Computer Science Engineering Dept.
pp. 239
Session 14: Distributed Algorithms and Environments

Creating a Distributed Environment Using Object-Oriented Technology (Abstract)

Pattanasak Mongkolwat , Department of Computer Science Illinois Institute of Technology
Bashir A. Haswarey , Department of EECS (M/C 154) University of Illinois at Chicago
Carl K. Chang , Department of EECS (M/C 154) University of Illinois at Chicago
pp. 262
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization

A Hybrid Approach to Object Library Classification and Retrieval (Abstract)

Chao-Tsun Chang , Dept of General Science Air Communication and Electronics School Kang Shan, Kaoshiung 820 Taiwan
Chung-Shyan Liu , Dept of Information and Computer Engineering Chung Yuan Christian University
pp. 278

Reverse Engineering from COBOL to Narrative Specification (Abstract)

T. Yoshino , Fujitsu Laboratories Ltd.
S. Uehara , Fujitsu Laboratories Ltd.
S. Suguta , Fujitsu Laboratories Ltd.
M. Sonobe , Fujitsu Laboratories Ltd.
T. Ookubo , Fujitsu Laboratories Ltd.
Y. Hotta , Fujitsu Laboratories Ltd.
pp. 284

Component Reuse Through Reverse Engineering and Semantic Interface Analysis (Abstract)

Hongji Yang , Computer Science Department, De Montfort University England
William C. Chu , Department of Information Science Feng Chia University
pp. 290
Session 17: Distributed Multi-Media Systems: Tools and Techniques

HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration (Abstract)

Uffe Kock Wiil , Programming Systems Laboratory, Department of Computer Science
pp. 298

Scheduling Dependent Real-Time Multimedia Tasks on Distributed Systems (Abstract)

Hsing Mei , Comput. Sci. & Inf. Eng. Dept., Fu Jen Catholic Univ., Taipei, Taiwan
pp. 306
Session 19: Software Process Improvements

Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics Modeling (Abstract)

James S. Collofello , Arizona State University Department of Computer Science and Engineering
John D. Tvedt , Arizona State University Department of Computer Science and Engineering
pp. 318

A Horizontal Approach for Software Process Improvement (Abstract)

D.J. Frailey , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
O. Demirors , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 326
Session 20: Multi-Media Storage Management and Applications

The Multimedia Desktop Conference System Adaptability in Network Traffic on LAN (Abstract)

Jin Ho Jung , Korea Advanced Institute of Science and Technology
Hyun S. Yang , Korea Advanced Institute of Science and Technology
pp. 334

Storing Continuous Media Objects Using Parallelism with Merging (Abstract)

Alfred R. Watkins , College of Computing Georgia Institute of Technology
Edward Omiecinski , College of Computing Georgia Institute of Technology
pp. 339

FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage System (Abstract)

Taeck-Geun Kwon , Dept. of Computer Engineering, Seoul National Univ.
Sukho Lee , Dept. of Computer Engineering, Seoul National Univ.
pp. 346
Session 22: Multi-Paradigm Programming

Transformation of Relational Schemas to Object-Oriented Schemas (Abstract)

Aqueo Kamada , Department of Computer Science, State University of New York at Binghamton
Weiyi Meng , Department of Computer Science, State University of New York at Binghamton
Yu-Hsi Chang , Department of Computer Science, State University of New York at Binghamton
pp. 356

A Multiparadigm Programming Approach for Developing Knowledge-Based Systems (Abstract)

Paul K.C. Pun , Room IT301, Department of Computer Science, University of Manchester, Manchester M13 9PL, United Kingdom
Hilary J. Kahn , Room IT404, Department of Computer Science, University of Manchester, Manchester M13 9PL, United Kingdom
pp. 362
Session 23: Software Development for Parallel and Distributed Systems

An Architecture-Independent Software Development Approach for Parallel Processing Systems (Abstract)

Jun Wang , Department of Computer Science and Engineering Arizona State University Tempe, AZ 85287-5406, USA
Doo-Hwan Bae , Information and Communication Engineering Department Korea Advanced Institute of Science and Technology Seoul, Korea
Stephen S. Yau , Department of Computer Science and Engineering Arizona State University Tempe, AZ 85287-5406, USA
pp. 370

Software Support for Asynchronous Computing Across Networks (Abstract)

Mark E. Cavender , High Performance Computing and Software Laboratory
Xiaodong Zhang , High Performance Computing and Software Laboratory
pp. 376

A Software Platform for Solving PDEs on Distributed Systems: Implementation Issues and Performance Prediction (Abstract)

Chi-Chung Hui , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
I. Ahmad , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
M. Hamdi , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
pp. 383
Session 24: Panel: Software Fault Tolerance
Session 25: Software Security and Safety

A General Approach to Evaluation of Secure Systems (Abstract)

N. Zhang , Department of Computing Manchester Metropolitan University Manchester, U.K.
Qi Shi , School of Computing & Mathematics Liverpool John Moores University Liverpool, U.K.
pp. 396

Enforcing Complex Security Policies for Commercial Applications (Abstract)

I-Lung Kao , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
R. Chow , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 402

A Framework for Designing Safe Software Systems (Abstract)

Ramakrishna V. Vishnuvajjala , Department of Computer Science, University of Minnesota,
W.T. Tsai , Department of Computer Science, University of Minnesota,
Satish Subramanian , Department of Computer Science, University of Minnesota,
Ramin Mojdehbakhsh , Department of Computer Science, University of Minnesota,
Lynn Elliott , Department of Computer Science, University of Minnesota,
pp. 409
Session 26: Applications

Designing Chinese Typeface Using Components (Abstract)

Paul Yiu Chung Wong , The Chinese University of Hong Kong
Siu Chi Hsu , The Chinese University of Hong Kong
pp. 416

Information Mediation System Design Strategy Among Telecommunication Related Information Systems (Abstract)

Fu-Fu Shen , Telecommunication Laboratories
Whei-Yee Lin , Telecommunication Laboratories
Chien-Wei Cheng , Telecommunication Laboratories
Chea-Yean Wong , Telecommunication Laboratories
Hsien-Sheng Chen , Telecommunication Laboratories
pp. 422
Session 27: Panel: Alternative Approaches to Modeling Processes

Author Index (PDF)

pp. 430
96 ms
(Ver 3.1 (10032016))