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

• 作者: 孔兵 李彤 柳青 王黎霞
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 交互式环境 知识库 形式化软件设计 功能 分解树
• 年，卷（期）: 2000,（4）
• 所属期刊栏目: 软件技术研究与实现
• 页码范围: 41-43
• 页数: 3页
• 分类号: TP311.5
• 字数: 3924字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2000.04.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学计算机科学系	151	861	14.0	22.0
2	孔兵	云南大学计算机科学系	23	95	4.0	8.0
3	王黎霞	云南大学经济学院	13	70	4.0	7.0
4	柳青	云南大学计算机科学系	40	192	7.0	12.0