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(2695)]  [View PDF(2647)392.65 K]
  • POTENTIAL IN DATA PARALLELISM
  • Liu Decai;,Wang Dingxing;,Shen Meiming and Zheng Weimin
  • 1994,5(5):8-15 [Abstract(2652)]  [View PDF(2511)411.17 K]
  • THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE
  • Jin Zhi and Hu Shouren
  • 1994,5(5):16-25 [Abstract(3086)]  [View PDF(2549)431.54 K]
  • TUGEN: A TOOL FOR AUTOMATIC TEST SUITE GENERATION
  • Hao Ruthing
  • 1994,5(5):26-38 [Abstract(2183)]  [View PDF(2547)548.64 K]
  • FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS
  • Qin Xiao
  • 1994,5(5):39-45 [Abstract(3675)]  [View PDF(2721)791.14 K]
  • PROBLEM SOLVING THROUGH OPERATOR ANALYSIS
  • He Qinming;,Wang Shenkang and Yu Ruizhao
  • 1994,5(5):46-51 [Abstract(2265)]  [View PDF(2949)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(2759)]  [View PDF(2541)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(3170)]  [View PDF(2512)432.96 K]