软件开发模型大体上可以分为三种类型。第一种是以软件需求完全确定为前提的（）；第二种是在软件开发初始阶段只能提供基本需求时采用的（）；第三种是以形式化为基础的变换模型。

软件开发模型大体上可以分为三种类型。第一种是以软件需求完全确定为前提的（）；第二种是在软件开发初始阶段只能提供基本需求时采用的（）；第三种是以形式化为基础的变换模型。
A.协同模型
B.瀑布模型
C.变换模型
D.迭代式模型
正确答案：B