形式化软件功能分解的交互式规则

• 作者: 孔兵 李彤 柳青 王黎霞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 功能分解 分解规则 分解策略 规则库 交互式
• 年，卷（期）: 2000,（7）
• 所属期刊栏目: 学术探讨
• 页码范围: 44-46
• 页数: 3页
• 分类号: TP3
• 字数: 4668字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2000.07.015

摘要

形式化功能分解是软件形式化设计的基本手段.文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则的正确性.分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分.

作者信息

序号	姓名	单位	发文数	被引次数	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