2015年2月18日
软件工程概论第五章--软件工程中的形式化方法
摘要： 形式化方法指的是将离散数学的方法用于解决软件工程领域的问题，主要是建立精确的数学模型以及对模型的分析活动。在软件开发过程中运用数学模型有很多优点，例如能够解决规格说明的二义性，提高精确性，还能使软件相关问题的本质可以在不同抽象层次被展示出来。本章介绍形式化方法主要从形式化方法基本概念、时态逻辑、模型... 阅读全文
posted @ 2015-02-18 12:00 零夕 阅读(499) 评论(0) 推荐(0) 编辑