Advances in Chinese Computer Science: Vol 002

Contents: RES: PCB Routing Design Expert System (C W He & M Chen); Formalizing and Automating the Software Process Through Successive Refinement (M Dai & J F Xu); A New Attribute Grammar Class - Dependent Attribute Grammar (C Q Tang); File Translation (J H Lin); Improvements in Jackson's Program Inversion Techniques (Y S Xu & B He); An Implementation of the Graphical Kernel System (GKS) (Y H Xiong, Z Z Huang & S Q Liu); The Process Structure of Distributed Relational Database Management System C-Porel (W M Chen & L X Zhou); IUC: An Interface for Understanding Chinese Language (X B Li); KJ-8920 Vector Recognition System (KJVR) (H Cheng & G Li); FEL Formula - An Economical Law in Formation of Terms (Z W Feng); A Knowledge Base Management System for the Intelligent Man-Machine Communication (L Xie & X Du); On the Structure of Models of Hierarchical Algebraic Specifications (H M Lin);