Contents

EXPLANATION-BASED ALGORITHM SCHEME LEARNING Fei Zongming;,Zhang Jiazhong and Xu Jiafu 1994,5(5):1-7 [Abstract(4535)]  [View PDF(5614)392.65 K]

POTENTIAL IN DATA PARALLELISM Liu Decai;,Wang Dingxing;,Shen Meiming and Zheng Weimin 1994,5(5):8-15 [Abstract(4481)]  [View PDF(5476)411.17 K]

THE CIRCUMSCRIPTIVE THEORIES IN THE OBJECT-ORIENTED LOGIC LANGUAGE SCKE Jin Zhi and Hu Shouren 1994,5(5):16-25 [Abstract(4903)]  [View PDF(5584)431.54 K]

TUGEN: A TOOL FOR AUTOMATIC TEST SUITE GENERATION Hao Ruthing 1994,5(5):26-38 [Abstract(4004)]  [View PDF(5601)548.64 K]

FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS Qin Xiao 1994,5(5):39-45 [Abstract(5736)]  [View PDF(5863)791.14 K]

PROBLEM SOLVING THROUGH OPERATOR ANALYSIS He Qinming;,Wang Shenkang and Yu Ruizhao 1994,5(5):46-51 [Abstract(4002)]  [View PDF(6005)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(4505)]  [View PDF(5540)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(4996)]  [View PDF(5376)432.96 K]