软件需求中一般包括了用户角度和开发人员角度两个方面。通常将软件需求划分为业务需求，用户需求，系统需求，功能需求和非功能需求等类型。 软件需求工程过程一般包括以下的步骤：需求获取，需求分析，需求规格说明，需求验证，需求管理，其中还介绍一些需求管理工具。介绍了需求工程的步骤还要掌握获取需求的技术一般的....
分类：
其他好文 时间：
2015-02-25 23:32:15
阅读次数：
162
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保证软件的正确性。软件开发实际上就是把现实世界的需求映射成软件额模型化...
分类：
其他好文 时间：
2015-02-25 22:17:46
阅读次数：
144
软件过程就是软件工程人员为了获得软件产品在软件工具的支持下实施一系列的软件工程活动。软件过程的基本活动步骤有1 问题的提出，2软件需求规格说明 3 软件设计 4 软件实现 5软件确认 6软件演化。 软件过程的模型主要有瀑布模型，快速原型模型，增量模型，螺旋模型，形式化模型，基于组将开发模型，本章还介...
分类：
其他好文 时间：
2015-02-25 22:16:21
阅读次数：
115
对于编程工具而言也有一些值得提出的问题，需要组建一个专业的团队来操作整个系统的机器和磁带库，而且核心机器的使用也需要仔细地进行规划。而随着时代的发展，高级语言和交互式编程已经占据主流，由此国内的水平与国外的比较便相形见绌了，我们必须努力追赶并争取超越。在编写任何代码时，规格说明必须提交给测试小组。而...
分类：
其他好文 时间：
2015-02-25 15:27:08
阅读次数：
113
一、文件（数据文件、日志文件）1、相关参数：innodb_data_home_dirinnodb_data_file_path=file_name:file_size[:autoextend[:max:max_file_size]]注：a、innodb_data_file_path的值应该为一个或多个数据文件规格的列表。如果命名一个以上的数据文件，用分号(‘;’)分隔它们b、..
分类：
数据库 时间：
2015-02-24 23:35:34
阅读次数：
289
第八章、面向对象设计 1.设计的概念 设计活动:实现从需求分析到软件实现之间的跨越，设计活动结束后需形成设计规格说明书。设计原则包括模块化、耦合度和内聚性、复用性三方面。2.软件体系结构包括仓库体系结构、分层体系结构、MVC体系结构、客户机/服务器体系结构和管道和过滤器体系结构几种，其不...
分类：
其他好文 时间：
2015-02-24 13:46:52
阅读次数：
138
软件测试是软件质量保证的一项关键活动，它是通过对需求规格说明、软件设计说明和程序代码等进行复审，以保证在软件产品交付前，尽可能发现软件中潜伏的问题。验证和确认是贯穿软件生命周期的规范化评估方法。验证和确认在各个阶段中制定和管理特定的任务，其活动跨越了软件的整个生命周期。测试是一个程序的执行过程，其目...
分类：
其他好文 时间：
2015-02-23 19:01:34
阅读次数：
214
软件工程——理论、方法与实践 之 软件工程中的形式化方法从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保...
分类：
其他好文 时间：
2015-02-22 21:53:09
阅读次数：
190
第五章—软件工程中的形式化方法软件的设计过程就是一个建立形式规约的过程。当规格说明用非形式化方法说明时，可称之为“规格说明”，当用形式化方法说明时，可称之为“形式规约”。已建立的形式化方法可分为操作类和描述类。形式证明与验证技术主要包括模型检测和定理证明，模型检测主要适用于有穷状态系统，优点是完全自...
分类：
其他好文 时间：
2015-02-21 13:09:45
阅读次数：
115
第二章—软件过程软件过程是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动，软件过程的基本活动包括问题提出、软件需求规格说明、软件设计、软件实现、软件确认、软件演化，活动产生的制品包括软件需求制品、软件设计制品、软件实现制品软件测试制品、软件实施制品。软件过程模型包括瀑布模型...
分类：
其他好文 时间：
2015-02-21 13:07:13
阅读次数：
143
