A . 以软件需求完全确定为前提的瀑布模型
B . 在软件开发初始阶段只能提供基本需求时采用的渐进式开发模型，如螺旋模型等
C . 以形式化开发方法为基础的变换模型
D . 以机器性能为需求的螺旋状模型