参考答案：D

解析：

[分析]： 软件开发模型大体上可以分为三种类型。第一种是以软件需求完全确定为前提的瀑布模型；第二种是在软件开发初始阶段只能提供基本需求时采用的迭代式或渐进式模型，例如，喷泉模型、螺旋模型、统一开发过程和敏捷方法等；第三种是以形式化为基础的变换模型。