论文研究无线传感器网络中ARQ协议能量有效性分析.pdf

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