Volume 4,Issue 6,1993 Table of Contents

Other Issues:  
  
Contents

  • KD-PARPRO:A KNOWLEDGE-BASED PARALLELIZING TOOL
  • Jin Guohua and Chen Fujie
  • 1993,4(6):1-6 [Abstract(2954)]  [View PDF(2747)382.71 K]
  • ANALYSIS OF LIVENESS FOR WEIGHTED T-GRAPHS
  • Xu Anguo and Wu Zhehui
  • 1993,4(6):16-21 [Abstract(2631)]  [View PDF(3023)408.71 K]
  • LABELED REACHABILITY TREE OF PETRI NETS
  • Jiang Changjun and Wu Zhehui
  • 1993,4(6):22-28 [Abstract(2661)]  [View PDF(2823)403.01 K]
  • SOFTWARE ENGINEERING CASE TOOL-RSL/RSA
  • Xu Longshan and Jia Lin
  • 1993,4(6):29-35 [Abstract(3251)]  [View PDF(3063)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(2637)]  [View PDF(2796)320.67 K]
  • A CHINESE LANGUAGE UNDERSTANDING SYSTEM BASED ON THE COMPUTATIONAL MODEL OF NATURAL LANGUAGE
  • Zhou Jingye
  • 1993,4(6):41-46 [Abstract(3313)]  [View PDF(3449)414.13 K]
  • INDUCTIVE LOGIC AND THE PROBLEMS OF IT S APPLICATIONS IN THE INDUCTIVE LEARNING
  • Wang Yutian
  • 1993,4(6):47-53 [Abstract(2326)]  [View PDF(3099)496.24 K]
  • DOCUMENTATION IN SOFTWARE DEVELOPMENT
  • Zhou Longxiang and Chai Xingwu
  • 1993,4(6):54-61 [Abstract(2096)]  [View PDF(3462)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(4958)]  [View PDF(4139)591.22 K]