摘要： 提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代码为止。设计过程由分解树来描述。

关键词: 交互式环境, 知识库, 形式化软件设计, 功能, 分解树

Abstract: In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms. By the support of knowledge base composed of sample base, primitive base and rule base, a software function is repeatedly decomposed into many refined software functions until all the software functions can be transformed into algorithmic object codes by semantic subroutines in primitive base. The design process can be described by decomposition tree.

中图分类号: 

• TP311. 5