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

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