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