形式化方法

软件过程

典型软件生存周期: 需求分析——软件分析——软件设计——编码(测试)——软件测试——运行维护 软件过程 1.瀑布模型: 2.快速原型模型 快速原型模型需要迅速建造一个可以运行的软件原型 ,以便理解和澄清问题,使开发人员与用户达成共识,最终在确定的客户需求基础上开发客户满意的软件产品。 快速原型模型允许在需求分析阶段对软件的需求进行初步而非完全的...