第五章、软件过程中的形式化方法1、 广义上讲，形式化方法是指将离散数学中的方法用于解决软件工程领域的问题。 狭义上讲、形式化方法是运用形式化语言进行形式化的规格描述，模型推理和验证的方法。 形式化的方法运用于软件工程的目的主要是为了确保软件的正确性。
分类：
其他好文 时间：
2015-02-28 20:16:14
阅读次数：
161
第二章：软件过程1、软件过程是指一套关于项目的阶段、状态、方法、技术和开发、维护软件的人员以及相关Artifacts(计划、文档、模型、编码、测试、手册等)组成。2、基本活动a、问题提出b、软件需求规格说明c、软件设计d、软件实现e、软件确认f、软件演化
分类：
其他好文 时间：
2015-02-28 20:14:07
阅读次数：
135
软件工程中的形式化方法本章介绍软件工程中的形式化方法，包括时序逻辑、Z语言、Petri网等。软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象、对象的性质以及操作应作为一个整体来处理。软件生命周期中的不同阶段为规格说明引入和增加新的系统特征定义。当规格说...
分类：
其他好文 时间：
2015-02-28 07:46:18
阅读次数：
127
第一，UML的概念
UML是Unified Modeling Language的缩写，翻译成中文就是统一建模语言，当然也可以翻译为标准建模语言，它是一种面向对象的建模语言，它是运用统一的、标准化的标记和定义来实现对软件系统进行面向对象的描述和建模。它为软件开发的所有阶段提供模型化和可视化的支持，包括从需求分析到规格、构造和配置。这是一种图形化的语言，它通过几...
分类：
其他好文 时间：
2015-02-27 00:24:08
阅读次数：
184
本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题。形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究。也可以理解为，软件开发实际上就是把现实世界的需求映射成软件的模型化过程。形式规约：软件规格说明是对软件系统对象，队象的操作方法，以及对象行为的描述。非形式的规格说明可用自...
分类：
其他好文 时间：
2015-02-27 00:08:03
阅读次数：
172
第5章软件工程中的形式化方法从广义上讲，形式化方法（FormalMethod）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的只要目的...
分类：
其他好文 时间：
2015-02-26 21:34:40
阅读次数：
181
Azure现在主要提供A系列、D系列、G系列虚拟机。D系列的虚拟机，相比A系列同编号的虚拟机，内容要大1倍。新的虚拟机的CPU性能提升60%、更大的内容及本地使用了SSD固态硬盘。...
分类：
其他好文 时间：
2015-02-26 14:59:54
阅读次数：
160
第八章 主要讲1.设计的概念 设计活动分为系统设计和详细设计，设计活动实现从需求分析到软件实现之间的跨越，设计活动结束后需形成设计规格说明书。设计原则模块化、强内聚、弱耦合、可复用、抽象、信息隐藏。2.软件体系结构包括仓库体系结构、分层体系结构、MVC体系结构、客户机/服务器体系结构和管道和过滤器体...
分类：
其他好文 时间：
2015-02-26 13:15:25
阅读次数：
141
第四章 开头讲明软件需求是决定软件开发是否成功的一个关键因素；点明其重要性。软件需求划分为业务需求、用户需求、功能需求和非功能需求、系统需求，各种需求都对软件设计过程极为重要。需求工程过程包括需求获取、需求分析、需求规格说明、需求验证以及需求管理，其中需求获取是在问题及其最终解决方案之间架设桥梁的第...
分类：
其他好文 时间：
2015-02-26 13:13:00
阅读次数：
110
软件测试是软件质量保证的一项关键活动，它是通过对需求规格说明、软件设计说明和程序代码等进行复审，以保证在软件产品交付前，尽可能发现软件中潜伏的问题。有错是软件的属性，而且是无法改变的，因为软件是由人来完成的，所有由人来做的工作都不会是完美无缺的。所以我们要知道如何避免错误，使错误密度降低到最低限度。...
分类：
其他好文 时间：
2015-02-25 23:34:12
阅读次数：
146
