瀑布模型

瀑布模型是一种线性的过程，适用于在开发的早期阶段软件需求被完整确定的情况。

缺点：（1）用户不确定需求；（2）开发人员不确定；（3）开发人员于用户很难沟通。

快速原型模型

快速原型模型的第一步是迅速构件一个可以运行的软件原型，实现客户或未来的用户与系统的交互，由用户或客户对该原型进行评价，并进一步细化待开发软件的需求。第二步则在第一步的基础上开发客户满意的软件产品。

目的：减少开发风险和需求的确定性

缺点：（1）原型系统的内部结构不好

     （2）开发人员需要掌握快速开发技术和工具   

增量模型

    增量模型在各个阶段并不交付一个可运行的完整产品，而是交付满足客户需求的一个子集的可运行产品。

    缺点：（1）软件具备开放式体系结构；（2）容易退化为边做边改，是软件过程的控制失去整体性。

螺旋模型

    螺旋模型将“瀑布模型”和“快速原型模型”相结合。强调了其他模型所忽视的风险分析，特别适合于大型复杂的软件系统。

形式化方法模型（数字模型）

    形式化方法特别适合于那些对安全性、可靠性和保密性要求极高的软件系统开发，它采用形式化的数学方法将系统描述转换成可执行程序。

 基于组件的开发模型

基于组件的开发模型充分体现了软件复用的思想，降低了开发风险和成本，能够快速交付所开发的软件。但是，由于某些商业组件是不能进行修改的，系统的演化将受到一定程度的限制。

软件过程模型