增量式软件设计方法的条件

• 作者: 王三民 王向云 蔡开元
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 软件控制论 监控理论 多项式动态系统 增量式软件设计 继承性
• 年，卷（期）: 2008,（9）
• 所属期刊栏目: 博士论坛
• 页码范围: 10-12,60
• 页数: 4页
• 分类号: TP311.5
• 字数: 3613字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.09.003

摘要

增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多.论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法.首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法,然后通过定义软件需求的继承性,得到增量式软件设计的一个充分条件:当已经设计的软件需求具有继承性时,可以对新的软件需求采用增量式设计.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡开元	北京航空航天大学自动控制系	45	583	13.0	23.0
2	王向云	天津师范大学计算机和信息工程学院	2	2	1.0	1.0
3	王三民	天津师范大学计算机和信息工程学院	1	0	0.0	0.0