In this paper, a new constructive proving system, Specification Deduction, is presented.
本文中提出一个用于程序综合的构造证明系统，规范演绎。
2
This facilitate the changes required on《Design specification for building energy conservation》and shall provide a more constructive and meaningful directive.