Volume 5,Issue 5,1994 Table of Contents

Other Issues:  
  
Contents

  • EXPLANATION-BASED ALGORITHM SCHEME LEARNING
  • Fei Zongming;,Zhang Jiazhong and Xu Jiafu
  • 1994,5(5):1-7 [Abstract(2620)]  [View PDF(2603)392.65 K]
  • POTENTIAL IN DATA PARALLELISM
  • Liu Decai;,Wang Dingxing;,Shen Meiming and Zheng Weimin
  • 1994,5(5):8-15 [Abstract(2563)]  [View PDF(2466)411.17 K]
  • THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE
  • Jin Zhi and Hu Shouren
  • 1994,5(5):16-25 [Abstract(2999)]  [View PDF(2511)431.54 K]
  • TUGEN: A TOOL FOR AUTOMATIC TEST SUITE GENERATION
  • Hao Ruthing
  • 1994,5(5):26-38 [Abstract(2115)]  [View PDF(2503)548.64 K]
  • FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS
  • Qin Xiao
  • 1994,5(5):39-45 [Abstract(3590)]  [View PDF(2684)791.14 K]
  • PROBLEM SOLVING THROUGH OPERATOR ANALYSIS
  • He Qinming;,Wang Shenkang and Yu Ruizhao
  • 1994,5(5):46-51 [Abstract(2182)]  [View PDF(2894)441.32 K]
  • A METHOD FOR PROGRAM ANALYSIS BASED ON PROGRAM PLAN
  • Xing Guangrong,Zheng Guoliang and Li Xuandong
  • 1994,5(5):52-57 [Abstract(2669)]  [View PDF(2493)757.39 K]
  • TEMPORAL INTERVAL(TI) -BASED AND TI-EVALUATION -BASED HIERARCHICAL SCHEDULING MODEL
  • Huang Biqing and Zhang Bo
  • 1994,5(5):58-64 [Abstract(3077)]  [View PDF(2465)432.96 K]