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)