Contents

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

LogC:A LANGUAGE AND ENVIRONMENT FOR KNOWLEDGE INFERENCES Feng Yulin,Huang Tao and Wang Taiquan 1993,4(5):6-10 [Abstract(4455)]  [View PDF(5610)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(4607)]  [View PDF(6318)369.40 K]

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

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

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

COMPLEX OBJECTS AND THEIR CONCURRENCY CONTROL Xu Qingyun,Wang Nengbin and Chen Gang 1993,4(5):46-50 [Abstract(4305)]  [View PDF(5523)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(4274)]  [View PDF(5745)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(4019)]  [View PDF(5344)147.58 K]

Review Articles

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