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(2515)]  [View PDF(2984)378.42 K]
  • LogC:A LANGUAGE AND ENVIRONMENT FOR KNOWLEDGE INFERENCES
  • Feng Yulin,Huang Tao and Wang Taiquan
  • 1993,4(5):6-10 [Abstract(2661)]  [View PDF(2686)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(2709)]  [View PDF(3305)369.40 K]
  • A NOTATION OF PROGRAM TRANSFORMATION IN PROGRAMMING LANGUAGES-ON TRANSFORMATIONAL PROGRAMMING LANGUAGES
  • Zhang Naixiao
  • 1993,4(5):17-23 [Abstract(2608)]  [View PDF(2714)433.83 K]
  • MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL
  • Gu Xinsheng and Chen Qing
  • 1993,4(5):24-37 [Abstract(2711)]  [View PDF(3199)820.05 K]
  • RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION
  • Wen Tao,Liu Jiren and Li Huatian
  • 1993,4(5):38-45 [Abstract(2647)]  [View PDF(2724)552.42 K]
  • COMPLEX OBJECTS AND THEIR CONCURRENCY CONTROL
  • Xu Qingyun,Wang Nengbin and Chen Gang
  • 1993,4(5):46-50 [Abstract(2503)]  [View PDF(2712)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(2334)]  [View PDF(2793)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(2126)]  [View PDF(2543)147.58 K]
  • Review Articles

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