【名词&注释】
软件开发(software development)、形式化开发(formal development)、渐进式开发、螺旋状模型
[多选题]常见的软件开发模型大致可分为三种类型()
A. 以软件需求完全确定为前提的瀑布模型 B. 在软件开发初始阶段只能提供基本需求时采用的渐进式开发模型,如螺旋模型等 C. 以形式化开发方法为基础的变换模型 D. 以机器性能为需求的螺旋状模型