Abstract: This paper introduces a knowledge-based analytic computing program generation system for engineering design（KECPG）,proposes a concept of formula logical dependence and discusses its properties and how togenerate the formula computing program design specification automatically.