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

摘要：

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

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

所属期刊栏目：26

分类号：TP311.5(计算技术、计算机技术)

资助基金：云南省自然科学基金98F005G;云南省中青年学术与技术带头人培养基金1998-37

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：41-43