Volume 4,Issue 5,1993 Table of Contents

Other Issues:  
  
Contents

  • THE HIERARCHICAL CONSTRUCTION MODEL OF OBJECT-ORIENTED SYSTEM SOFTWARE
  • Zhang Yuanyang,Yang Fuqing and Shao Weizhong
  • 1993,4(5):1-5 [Abstract(2881)]  [View PDF(3235)378.42 K]
  • LogC:A LANGUAGE AND ENVIRONMENT FOR KNOWLEDGE INFERENCES
  • Feng Yulin,Huang Tao and Wang Taiquan
  • 1993,4(5):6-10 [Abstract(3072)]  [View PDF(2901)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(3088)]  [View PDF(3539)369.40 K]
  • A NOTATION OF PROGRAM TRANSFORMATION IN PROGRAMMING LANGUAGES-ON TRANSFORMATIONAL PROGRAMMING LANGUAGES
  • Zhang Naixiao
  • 1993,4(5):17-23 [Abstract(2998)]  [View PDF(2944)433.83 K]
  • MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL
  • Gu Xinsheng and Chen Qing
  • 1993,4(5):24-37 [Abstract(3153)]  [View PDF(3424)820.05 K]
  • RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION
  • Wen Tao,Liu Jiren and Li Huatian
  • 1993,4(5):38-45 [Abstract(3053)]  [View PDF(2944)552.42 K]
  • COMPLEX OBJECTS AND THEIR CONCURRENCY CONTROL
  • Xu Qingyun,Wang Nengbin and Chen Gang
  • 1993,4(5):46-50 [Abstract(2926)]  [View PDF(2925)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(2692)]  [View PDF(3032)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(2497)]  [View PDF(2755)147.58 K]
  • Review Articles

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