Contents

THE HIERARCHICAL CONSTRUCTION MODEL OF OBJECT-ORIENTED SYSTEM SOFTWARE Zhang Yuanyang,Yang Fuqing and Shao Weizhong 1993,4(5):1-5 [Abstract(3722)]  [View PDF(5115)378.42 K]

LogC:A LANGUAGE AND ENVIRONMENT FOR KNOWLEDGE INFERENCES Feng Yulin,Huang Tao and Wang Taiquan 1993,4(5):6-10 [Abstract(3936)]  [View PDF(4816)353.13 K]

COLLISION-FREE PATH PLANNING FOR A MULTI-JOINT ROBOTIC ARM BASED ON TOPOLOGICAL METHOD Li Yongcheng and Zhang Bo 1993,4(5):11-16 [Abstract(3982)]  [View PDF(5506)369.40 K]

A NOTATION OF PROGRAM TRANSFORMATION IN PROGRAMMING LANGUAGES-ON TRANSFORMATIONAL PROGRAMMING LANGUAGES Zhang Naixiao 1993,4(5):17-23 [Abstract(3832)]  [View PDF(4807)433.83 K]

MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL Gu Xinsheng and Chen Qing 1993,4(5):24-37 [Abstract(4129)]  [View PDF(5357)820.05 K]

RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION Wen Tao,Liu Jiren and Li Huatian 1993,4(5):38-45 [Abstract(3932)]  [View PDF(4968)552.42 K]

COMPLEX OBJECTS AND THEIR CONCURRENCY CONTROL Xu Qingyun,Wang Nengbin and Chen Gang 1993,4(5):46-50 [Abstract(3735)]  [View PDF(4765)358.33 K]

THE DESIGN AND IMPLEMENTATION OF AN AUTOMATIC GENERATOR FOR TESTING PROGRAM Hu Zhengguo and Zhu Zhiqiang 1993,4(5):58-62 [Abstract(3668)]  [View PDF(4999)355.57 K]

ALGORITHM FOR DECIDING WHETHER A STRING IS A SUBSTRING OF THE STRING WHICH BELONGS TO A REGULAR LANGUAGE Zhuang Lei 1993,4(5):63-64 [Abstract(3351)]  [View PDF(4586)147.58 K]

Review Articles

EXPLANATION-BASED LEARNING AND ITS PROGRESS Shi Chunyi and Huang Yiqing 1993,4(5):51-57 [Abstract(7211)]  [View PDF(7701)493.49 K]