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

摘要：

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

关键词：软件控制论、监控理论、多项式动态系统、增量式软件设计、继承性

所属期刊栏目：44

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

资助基金：国家自然科学基金60633010;60473067;60474006;60663002;天津师范大学引进人才基金5RID61

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

页数：共4页

页码：10-12,60