【单选题】
以下属于形式化开发方法的是()
A、结构化开发方法
B、Jackson开发方法
C、维也纳开发方法
D、面向对象开发方法
A、结构化开发方法
B、Jackson开发方法
C、维也纳开发方法
D、面向对象开发方法
A、以软件需求完全确定为前提的瀑布模型 B、在软件开发初始阶段只能提供基本需求时采用的渐进式开发模型,如螺旋模型等 C、以形式化开发方法为基础的变换模型 D、以机器性能为需求的螺旋状模型