Contents

KD-PARPRO:A KNOWLEDGE-BASED PARALLELIZING TOOL Jin Guohua and Chen Fujie 1993,4(6):1-6 [Abstract(4787)]  [View PDF(5405)382.71 K]

ANALYSIS OF LIVENESS FOR WEIGHTED T-GRAPHS Xu Anguo and Wu Zhehui 1993,4(6):16-21 [Abstract(4279)]  [View PDF(5891)408.71 K]

LABELED REACHABILITY TREE OF PETRI NETS Jiang Changjun and Wu Zhehui 1993,4(6):22-28 [Abstract(4508)]  [View PDF(5519)403.01 K]

SOFTWARE ENGINEERING CASE TOOL-RSL/RSA Xu Longshan and Jia Lin 1993,4(6):29-35 [Abstract(6664)]  [View PDF(6090)461.73 K]

A NEW STRATEGY AND IT S IMPLEMENTATION OF GENERATING AUTOMATICALLY SENTENCES FOR COMPILER TESTING Wu Jian,Hu Zhengguo and Jiang Liyuan 1993,4(6):36-40 [Abstract(4444)]  [View PDF(5505)320.67 K]

A CHINESE LANGUAGE UNDERSTANDING SYSTEM BASED ON THE COMPUTATIONAL MODEL OF NATURAL LANGUAGE Zhou Jingye 1993,4(6):41-46 [Abstract(4954)]  [View PDF(6278)414.13 K]

INDUCTIVE LOGIC AND THE PROBLEMS OF IT S APPLICATIONS IN THE INDUCTIVE LEARNING Wang Yutian 1993,4(6):47-53 [Abstract(3978)]  [View PDF(5893)496.24 K]

DOCUMENTATION IN SOFTWARE DEVELOPMENT Zhou Longxiang and Chai Xingwu 1993,4(6):54-61 [Abstract(4376)]  [View PDF(6419)498.17 K]

Review Articles

THE ART OF QUERY,ITS ALGORITHMS AND APPLICATIONS Shao Weizhong and H. S. Soon 1993,4(6):7-15 [Abstract(7553)]  [View PDF(8944)591.22 K]