软件过程是软件工程人员为了获取软件产品而在软件工具的支持下实施的一系列软件工程活动。其基本活动包括:问题提出、软件需求规格说明、软件设计、软件实现、软件确认、软件演化。软件过程产品涉及软件需求、软件设计、软件实现、软件测试和软件实施等活动产生的结果,这些制品通常是在不同的开发活动之间进行转移和演进。...
分类：
其他好文 时间：
2015-02-19 21:46:50
阅读次数：
198
软件的设计过程就是一个建立形式规约的过程。软件开发实际上就是把现实世界的需求映射成软件的模型化方法。软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。形式证明与验证技术主要包括模型检测和定理证明。程序求精是将自动推理和形式化方法相结合，从抽象的形式规约推演出具体的面向计算机的程序代码...
分类：
其他好文 时间：
2015-02-18 18:46:54
阅读次数：
176
形式化方法指的是将离散数学的方法用于解决软件工程领域的问题，主要是建立精确的数学模型以及对模型的分析活动。在软件开发过程中运用数学模型有很多优点，例如能够解决规格说明的二义性，提高精确性，还能使软件相关问题的本质可以在不同抽象层次被展示出来。本章介绍形式化方法主要从形式化方法基本概念、时态逻辑、模型...
分类：
其他好文 时间：
2015-02-18 12:59:13
阅读次数：
170
本章的主要内容是软件工程中的形式化方法形式化方法基本概念 形式规约 软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。 当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。 非形式化的规格说明可用自...
分类：
其他好文 时间：
2015-02-16 18:16:51
阅读次数：
162
NServiceBus: 有效地处理一个消息 处理大量并发 尺度大小不同的服务器 尺度低规格的设备的最终平衡速度和安全。基准许多参数会影响测量性能。最明显的是硬件服务器和CPU核的数量,大小的内存和存储,存储速度、冗余的数量,等等。不太明显的是某些消息处理系统实际上是琐碎的,而其他信息可能会...
分类：
其他好文 时间：
2015-02-16 18:05:05
阅读次数：
134
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动，从根本上讲，软件设计过程就是一个建立形式化规约，软件设计的最终产物--程序在进行形式化的过程中涉及到三中系统模型：现实世界，模型表示和计算机系统。软件规格说明是对软件系统对象，对象的操作系统以及...
分类：
其他好文 时间：
2015-02-15 23:07:10
阅读次数：
144
本章主要讲有关软件过程的知识，从软件过程的概念和软件过程模型展开讲述。软件过程的定义:软件过程是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动。软件过程的基本活动主要是1.问题提出；2.软件需求规格说明；3.软件设计；4软件实现；5.软件确认；6.软件演化。软件过程的制品在...
分类：
其他好文 时间：
2015-02-15 15:03:04
阅读次数：
139
本章主要讲述的是软件过程 软件过程：软件过程是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动。 软件过程的基本活动： 1. 问题提出；2. 软件需求规格说明；3. 软件设计；4. 软件实现；5. 软件确认；6. 软件演化。 软件过程制品主要内容包括： ...
分类：
其他好文 时间：
2015-02-14 19:59:17
阅读次数：
184
OpenGL: Open Graphics Library 一套三维图形处理库,也是该领域的工业标准.是一个定义了一个跨编程语言,跨平台的编程接口规格的专业的图形程序接口.它用于三维图像(二维的亦可),是一个功能强大,调用方便的底层图形库.中文名:开放图形库OpenGL是行业领域中最为广泛接纳的2D...
分类：
其他好文 时间：
2015-02-14 12:18:13
阅读次数：
123
第四章、需求工程 软件需求是决定软件开发是否成功的一个关键因素。自认为软件需求即为软件开发的方向，软件需求分为业务需求、用户需求、功能需求和非功能需求、系统需求，各种需求都对软件设计过程极为重要。需求工程过程包括需求获取、需求分析、需求规格说明、需求验证以及需求管理，其中需求验证要确定正确性、无.....
分类：
其他好文 时间：
2015-02-14 12:13:20
阅读次数：
143
