Author Description

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) Readership: Computer scientists.