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(2467)]  [View PDF(2956)378.42 K]
  • LogC:A LANGUAGE AND ENVIRONMENT FOR KNOWLEDGE INFERENCES
  • Feng Yulin,Huang Tao and Wang Taiquan
  • 1993,4(5):6-10 [Abstract(2602)]  [View PDF(2659)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(2662)]  [View PDF(3273)369.40 K]
  • A NOTATION OF PROGRAM TRANSFORMATION IN PROGRAMMING LANGUAGES-ON TRANSFORMATIONAL PROGRAMMING LANGUAGES
  • Zhang Naixiao
  • 1993,4(5):17-23 [Abstract(2551)]  [View PDF(2693)433.83 K]
  • MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL
  • Gu Xinsheng and Chen Qing
  • 1993,4(5):24-37 [Abstract(2651)]  [View PDF(3171)820.05 K]
  • RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION
  • Wen Tao,Liu Jiren and Li Huatian
  • 1993,4(5):38-45 [Abstract(2599)]  [View PDF(2701)552.42 K]
  • COMPLEX OBJECTS AND THEIR CONCURRENCY CONTROL
  • Xu Qingyun,Wang Nengbin and Chen Gang
  • 1993,4(5):46-50 [Abstract(2457)]  [View PDF(2691)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(2290)]  [View PDF(2768)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(2086)]  [View PDF(2518)147.58 K]
  • Review Articles

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