出处：信息科学卷 • 计算机科学技术 • 软件与系统
| 词条 | 演绎综合法 |
| 释义 | 演绎综合法 演绎综合法 简称“演绎法”。从给定的软件规约借助演绎推理综合出程序的方法。将数学中的构造性证明与软件开发相联系，把开发步骤解释为证明步骤，从证明中抽取相应的程序。最终将不可执行的规约转换为可执行的目标语言程序。涉及程序设计语言、程序设计技术等知识，这些知识通常用规则形式表示，主要规则有转换规则、条件形成、递归引入、推广等。 出处：信息科学卷 • 计算机科学技术 • 软件与系统 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。