(2016软件开发的形式化方法.pptVIP

计算机辅助软件工程 实现软件生命周期各个环节的自动化 整个生命周期的支持，解决生产效率 软件工程经济学 从经济学的观点来研究、分析如何有效地开发、发布软件产品和支持用户使用 成本估算技术、模型、效益分析、多目标决策、不确定性的处理、风险分析、工期估计 -*- Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.4 形式化方法 形式化方法概念 发展 目的 形式化方法软件开发— 变换模型 形式化规格 形式化验证 程序求精 形式化方法的应用 -*- Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 形式化方法概念 形式化方法是渗透在软件生命期中各个环节（如：需求、设计、实现、测试等）的数学方法 或者 具有严格数学基础的软件开发方法 形式化方法的基本含义是借助数学的方法来研究计算机科学中的有关问题。 《Encyclopedia of Software Engineering》对形式化方法定义为：“用于开发计算机系统的形式化