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(3030)]  [View PDF(2819)392.65 K]
  • POTENTIAL IN DATA PARALLELISM
  • Liu Decai;,Wang Dingxing;,Shen Meiming and Zheng Weimin
  • 1994,5(5):8-15 [Abstract(2970)]  [View PDF(2700)411.17 K]
  • THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE
  • Jin Zhi and Hu Shouren
  • 1994,5(5):16-25 [Abstract(3383)]  [View PDF(2714)431.54 K]
  • TUGEN: A TOOL FOR AUTOMATIC TEST SUITE GENERATION
  • Hao Ruthing
  • 1994,5(5):26-38 [Abstract(2480)]  [View PDF(2736)548.64 K]
  • FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS
  • Qin Xiao
  • 1994,5(5):39-45 [Abstract(4003)]  [View PDF(2916)791.14 K]
  • PROBLEM SOLVING THROUGH OPERATOR ANALYSIS
  • He Qinming;,Wang Shenkang and Yu Ruizhao
  • 1994,5(5):46-51 [Abstract(2588)]  [View PDF(3159)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(3085)]  [View PDF(2745)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(3500)]  [View PDF(2685)432.96 K]