2015年2月22日
阅读《软件工程—理论方法与实践》第五章心得体会
摘要： 阅读第五章所了解到的基本知识，形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。主要目的是保证软件的正确性。已建立的形式化方法可分为操作类和描述类。操作类方法基于状态和转移;描述类基于数学公理和概念。形式证明与验证技术主要包括模型检测(适用于有... 阅读全文
posted @ 2015-02-22 20:36 风雨同行 阅读(154) 评论(0) 推荐(0) 编辑