设计是将一个实际问题转换成相应的解决办法的主动过程。所谓设计也可以是对一种解决办法的描述。通过一个实例区分需求与设计，体系结构的设计者可能根据实际需求设计出几种不同的解决方案，都能满足用户需求。这里可能没有最好的设计，用户选择那种设计完全取决于他们自己的喜好。 设计一个系统就是要确定一组满足特...
分类：
其他好文 时间：
2015-03-01 13:04:21
阅读次数：
101
机器语言（二进制代码）、汇编语言（更直观、符号指令与机器指令相对应）、高级程序设计语言（用途广泛、有大量软件库，ALGLOL,FORTRAN,COBOL,Basic,Pascal,C,C++,Lisp,Prolog,Ada）、第四代语言（面向问题、非过程化程度高） 4GL缺点：整体能力不如3GL，只...
分类：
其他好文 时间：
2015-03-01 11:45:07
阅读次数：
150
第五章、软件过程中的形式化方法1、 广义上讲，形式化方法是指将离散数学中的方法用于解决软件工程领域的问题。 狭义上讲、形式化方法是运用形式化语言进行形式化的规格描述，模型推理和验证的方法。 形式化的方法运用于软件工程的目的主要是为了确保软件的正确性。
分类：
其他好文 时间：
2015-02-28 20:16:14
阅读次数：
161
1955年我国从“运筹帷幄之中，决策千里之外”（见《史记》）这句话摘取“运筹”二字，将O.R.正式译作运筹学。
运筹学师哥的解释就是“利用数学工具进行的预测”，运筹学是一门综合性比较强的学科。
它涵盖了
线性代数（第五章 线性规划）
离散数学（第七章 网络计划技术、第八章图论方法）
这三章还都是重点，这不就好说了吗，回顾一下，在寻找一下当初学习这些知识的感觉。然后这三章就不用再给大块的时间去学习...
分类：
其他好文 时间：
2015-02-28 10:17:41
阅读次数：
150
软件工程中的形式化方法本章介绍软件工程中的形式化方法，包括时序逻辑、Z语言、Petri网等。软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象、对象的性质以及操作应作为一个整体来处理。软件生命周期中的不同阶段为规格说明引入和增加新的系统特征定义。当规格说...
分类：
其他好文 时间：
2015-02-28 07:46:18
阅读次数：
127
本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题。形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究。也可以理解为，软件开发实际上就是把现实世界的需求映射成软件的模型化过程。形式规约：软件规格说明是对软件系统对象，队象的操作方法，以及对象行为的描述。非形式的规格说明可用自...
分类：
其他好文 时间：
2015-02-27 00:08:03
阅读次数：
172
第5章软件工程中的形式化方法从广义上讲，形式化方法（FormalMethod）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的只要目的...
分类：
其他好文 时间：
2015-02-26 21:34:40
阅读次数：
181
第五章主要讲1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例进行讲解。计算树逻辑一般是CTL与CTL*的统称。3.模型检测就是在软件系统的Kripke...
分类：
其他好文 时间：
2015-02-26 13:26:06
阅读次数：
130
软件工程中的形式化方法 形式化方法是将离散数学的方法用于解决软件工程里领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。基本概念有形式规约，形式证明与验证，程序求精。模态逻辑是经典命题逻辑和一维谓词逻辑的扩展形式。Kriple结构是模态逻辑的一个模型。时态逻辑中有一阶线性时态逻辑是一阶谓....
分类：
其他好文 时间：
2015-02-26 13:22:48
阅读次数：
124
第六章案例研究：图片库改进版这一章将根据第五章提到的内容对图片库进行了改进首先检查DOM方法是否被游览器支持if(!document.getElementById) return false;if(!document.getElementsByTagName) return false;if(!.....
分类：
编程语言 时间：
2015-02-26 13:17:36
阅读次数：
186
