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

http://www.worldscientific.com/worldscibooks/10.1142/1046

Contents:The Axiom System ACG and the Proof of Consistency of the Systems QM and ZF# (J W Zhang)Log C: A Language and Environment for AI Programming (Y L Feng)F

Advanced Computing, Networking and Informatics are three distinct and mutually exclusive disciplines of knowledge with no apparent sharing/overlap among them. H

There has been significant progress in certain areas of software engineering in China during the past five years. This volume is the first in a series of report