计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2008年
9期
10-12,60
,共4页
软件控制论%监控理论%多项式动态系统%增量式软件设计%继承性
軟件控製論%鑑控理論%多項式動態繫統%增量式軟件設計%繼承性
연건공제론%감공이론%다항식동태계통%증량식연건설계%계승성
增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多.论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法.首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法,然后通过定义软件需求的继承性,得到增量式软件设计的一个充分条件:当已经设计的软件需求具有继承性时,可以对新的软件需求采用增量式设计.
增量式設計方法是軟件開髮中常用的一種設計方法,但是對其進行形式化研究的併不多.論文研究用多項式動態繫統方法開髮軟件時是否可以用增量式設計方法.首先通過一箇反例說明併不是在任何情況下都可以用增量式設計方法,然後通過定義軟件需求的繼承性,得到增量式軟件設計的一箇充分條件:噹已經設計的軟件需求具有繼承性時,可以對新的軟件需求採用增量式設計.
증량식설계방법시연건개발중상용적일충설계방법,단시대기진행형식화연구적병불다.논문연구용다항식동태계통방법개발연건시시부가이용증량식설계방법.수선통과일개반례설명병불시재임하정황하도가이용증량식설계방법,연후통과정의연건수구적계승성,득도증량식연건설계적일개충분조건:당이경설계적연건수구구유계승성시,가이대신적연건수구채용증량식설계.
