Book 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.