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

作     者：王向云 蔡开元 王三民 WANG Xiang-yun;CAI Kai-yuan;WANG San-min

作者机构：天津师范大学计算机和信息工程学院天津300387 北京航空航天大学自动控制系北京100083 南昌大学计算机系南昌330029 

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60633010,No.60473067,No.60474006,No.60663002) 天津师范大学引进人才基金资助项目(the Foundation of Hunted Talents of Tianjin Normal University under Grant No.5RL061) 天津市高等学校科技发展基金计划项目(the Development Foundation of Tianjin Advanced Education for Science and Technologh under GrantNo.20071315) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2008年第44卷第9期

页      码：10-12,60页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3778/j.issn.1002-8331.2008.09.003

馆 藏 号：203864204...