文件名称:论文研究-无线传感器网络中ARQ协议能量有效性分析.pdf
文件大小:457KB
文件格式:PDF
更新时间:2022-09-30 06:46:49
论文研究
增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多。论文研究用多项式动态系统方法开发软件时是否可以用增量式设计方法。首先通过一个反例说明并不是在任何情况下都可以用增量式设计方法,然后通过定义软件需求的继承性,得到增量式软件设计的一个充分条件:当已经设计的软件需求具有继承性时,可以对新的软件需求采用增量式设计。