交互式环境下基于知识的形式化软件设计技术

摘要

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