程序侯

摘要： 有错是软件的属性，为把握软件开发各个环节的正确性，需要进行各种确认和验证工作。验证和确认是贯穿软件生命周期的规范化评估方法，。软件验证证明在软件生存期各个阶段，软件产品或中间产品能够满足客户要求，包括逻辑协调性，完备性和正确性。软件确认是一列活动和过程，其目的是保护软件产品能够符合其描述要求。... 阅读全文

摘要： 软件实现是软件产品由概念到实体的一个关键过程，它将详细设计的结果翻译成用某种程序设计语言编写的并且最终可以运行的程序代码。软件实现的过程包括代码设计，设计审查，代码编写，代码走查，代码编译和单元测试等基本活动。程序设计语言是人与计算机交流的重要工具，因此，选择一种合适的程序设计语言是软件开发过... 阅读全文

摘要： 在面向对象分析阶段，形成以下分析阶段:(1)功能模型:从用户的角度描述系统功能，由用例和场景表示(2)分析对象模型:描述了系统的概念实体，由类图和对象图表示(3)动态模型:描述系统对象之间交互行为，由状态图和顺序图表示。面向对象设计有一定的设计原则:1.模块化 2.耦合度和内聚性 3.复用性。... 阅读全文

摘要： 面向对象的分析模型由三个独立的模型组成:（1）功能模型:由用例和场景表示。（2）分析对象模型：由类图和对象图表示。（3）动态模型：由状态图和顺序图表示。在分析对象模型中，分析类是概念层次上的内容，用于描述系统较高层次的对象。分析类分成实体类，边界类和控制类三种模型。这种划分的基本思想是将对象在系... 阅读全文

摘要： 面向对象技术是软件工程领域的重要技术。它的基本思想是从现实世界中客观存在的事物即对象出发，尽可能地运用 人类的自然思维方式来构造软件系统。它认为任何客观的事物或实体都是对象，具有相同数据和相同操作的对象可归并为一类，对象是类的实例，类可派生，可继承，子类与父类形成类的层次结构，类具有封装性，其... 阅读全文

摘要： 在软件工程实践中运用形式化方法可以保证软件的正确性。目前，从形式规约到目标软件系统的可实现和可执行角度，已建立的形式化方法分为操作类和描述类。操作类方法基于状态和转移，通过可执行模型来描述系统，而描述类方法基于数学公理和概念，通过逻辑或代数给出系统的状态空间，具有高度抽象的特点。形式证明与验证... 阅读全文

摘要： 在软件开发过程中，软件需求是决定软件开发成功的一个关键因素。通常软件需求可以划分为以下几个类型: （1）业务需求:组织或客户对于系统的高层次目标要求，定义了项目的远景和范围，即确定软件产品的发展方向，功能范围，目标客户和价值来源。 （2）用户需求:从用户角度描述的系统功能需求和非功能需... 阅读全文

摘要： 软件项目的特征:（1）软件产品的不可见性（2）项目的高度不确定性（3）软件过程的多变化性（4）软件人员的高流动性。 有效的软件项目管理集中于4个方面:人员，产品，过程和项目，简称为项目管理的“4P”。 软件项目管理活动如下 1.项目启动:（1）确定项目范围（2）组建项目团队（3）建... 阅读全文

摘要： 由于软件工程的目标是在规定的时间和预算内开发出高质量的软件，而且软件项目失败的主要原因是缺少过程规范，那么软件过程就显得尤为重要。第二章着重讲解了如何建立和改进规范的软件开发过程，这种软件工程运动极大地推动了软件的工业化过程。 软件过程是软件工程人员为了获得软件产品而在软件工具的支持下实施... 阅读全文

摘要： 软件工程概论第一章介绍了软件,软件工程，软件工程知识体系和软件工程职业道德规范，系统且全面地地阐述了什么是软件工程，怎样进行软件需求分析，设计，开发，测试和维护等等。 IEEE规定软件是计算机程序，规程以及运行计算机系统可能需要的相关文档和数据。根据软件服务对象的范围不同，一般可以将软件划分为... 阅读全文