Contents

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

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

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

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

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

COMPLEX OBJECTS AND THEIR CONCURRENCY CONTROL Xu Qingyun,Wang Nengbin and Chen Gang 1993,4(5):46-50 [Abstract(3703)]  [View PDF(4653)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(3617)]  [View PDF(4844)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(3302)]  [View PDF(4464)147.58 K]

Review Articles

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