演繹綜合法

演繹綜合法，簡稱“演繹法”，是從給定的軟體規約藉助演繹推理綜合出程式的方法。

基本介紹

• 中文名：演繹綜合法
• 性質：通信信息科學類術語

解釋

將數學中的構造性證明與軟體開發相聯繫，把開發步驟解釋為證明步驟，從證明中抽取相應的程式。最終將不可執行的規約轉換為可執行的目標語言程式。

規則

涉及程式設計語言、程式設計技術等知識，這些知識通常用規則形式表示，主要規則有轉換規則、條件形成、遞歸引入、推廣等。