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