常见的软件开发模型大致可分为三种类型（）

A.以软件需求完全确定为前提的瀑布模型

B.在软件开发初始阶段只能提供基本需求时采用的渐进式开发模型，如螺旋模型等

C.以形式化开发方法为基础的变换模型

D.以机器性能为需求的螺旋状模型