本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题。形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究。也可以理解为，软件开发实际上就是把现实世界的需求映射成软件的模型化过程。形式规约：软件规格说明是对软件系统对象，队象的操作方法，以及对象行为的描述。非形式的规格说明可用自...
分类：
其他好文 时间：
2015-02-27 00:08:03
阅读次数：
172
第5章软件工程中的形式化方法从广义上讲，形式化方法（FormalMethod）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的只要目的...
分类：
其他好文 时间：
2015-02-26 21:34:40
阅读次数：
181
软件工程中的形式化方法 形式化方法是将离散数学的方法用于解决软件工程里领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。基本概念有形式规约，形式证明与验证，程序求精。模态逻辑是经典命题逻辑和一维谓词逻辑的扩展形式。Kriple结构是模态逻辑的一个模型。时态逻辑中有一阶线性时态逻辑是一阶谓....
分类：
其他好文 时间：
2015-02-26 13:22:48
阅读次数：
124
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保证软件的正确性。软件开发实际上就是把现实世界的需求映射成软件额模型化...
分类：
其他好文 时间：
2015-02-25 22:17:46
阅读次数：
144
链接：click here
题意：
描述
大家一定见过这种题目：给你一些数请找出这些数之间的规律，写出下一个满足该规律的数。
比如：2 5 10 17 26，则可以看出这些数符合n*n+1这个通项公式，则下一个数为37。
这种通项公式不只一个，所以答案是不唯一的。但如果已知了N个数，且已知其通项公式是一个次数小于N的多项式，则答案就唯一确定了。
现在给你一个数列，请找出规律...
分类：
其他好文 时间：
2015-02-25 00:45:45
阅读次数：
327
软件工程——理论、方法与实践 之 软件工程中的形式化方法从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保...
分类：
其他好文 时间：
2015-02-22 21:53:09
阅读次数：
190
阅读第五章所了解到的基本知识，形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。主要目的是保证软件的正确性。已建立的形式化方法可分为操作类和描述类。操作类方法基于状态和转移;描述类基于数学公理和概念。形式证明与验证技术主要包括模型检测(适用于有...
分类：
其他好文 时间：
2015-02-22 21:50:26
阅读次数：
120
形式化方法指的是将离散数学的方法用于解决软件工程领域的问题，主要是建立精确的数学模型以及对模型的分析活动。在软件开发过程中运用数学模型有很多优点，例如能够解决规格说明的二义性，提高精确性，还能使软件相关问题的本质可以在不同抽象层次被展示出来。本章介绍形式化方法主要从形式化方法基本概念、时态逻辑、模型...
分类：
其他好文 时间：
2015-02-18 12:59:13
阅读次数：
170
本文将从下面几个方面介绍拓扑排序：拓扑排序的定义和前置条件和离散数学中偏序/全序概念的联系典型实现算法Kahn算法基于DFS的算法解的唯一性问题实际样例取材自下面材料：http://en.wikipedia.org/wiki/Topological_sortinghttp://en.wikipedi...
分类：
编程语言 时间：
2015-02-16 15:35:05
阅读次数：
203
第五章、软件工程中的形式化方法 本章涉及到离散数学与数据结构的知识，可见知识都是互通的。1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例...
分类：
其他好文 时间：
2015-02-16 12:56:51
阅读次数：
142
