零夕

摘要： 形式化方法指的是将离散数学的方法用于解决软件工程领域的问题，主要是建立精确的数学模型以及对模型的分析活动。在软件开发过程中运用数学模型有很多优点，例如能够解决规格说明的二义性，提高精确性，还能使软件相关问题的本质可以在不同抽象层次被展示出来。本章介绍形式化方法主要从形式化方法基本概念、时态逻辑、模型... 阅读全文

摘要： 本章主要讲了软件开发中的软件需求，从软件需求、需求工程过程、需求获取技术和对小型图书资料管理系统案例分析几个方面展开讲述，讲到了软件需求在软件开发中的重要地位。软件需求定义:①用户解决问题或达到目标所需的条件或能力。②系统或系统部件要满足合同、标准、规范或其他正式规定文档所需具有的条件或能力。③一种... 阅读全文

摘要： 本章介绍了软件项目管理的相关知识，从软件项目管理概述、人员组织与管理、项目沟通管理、软件项目规划、软件风险管理及软件配置管理这几个方面展开讲述，详细的介绍了软件项目实行过程中的管理知识。软件项目管理概述主要讲了:1.软件项目的特征，即软件产品的不可见性、项目的高度不确定性、软件过程的多变化性、软件人... 阅读全文

摘要： 本章主要讲有关软件过程的知识，从软件过程的概念和软件过程模型展开讲述。软件过程的定义:软件过程是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动。软件过程的基本活动主要是1.问题提出；2.软件需求规格说明；3.软件设计；4软件实现；5.软件确认；6.软件演化。软件过程的制品在... 阅读全文

摘要： 本章主要从软件，软件工程，软件工程知识体系和软件工程职业道德规范等方面展开，其中定义了软件:软件是计算机程序,规程以及运行计算机系统可能需要的相关文档和数据。还详细介绍了软件的特性:复杂，不可见，不断变化，大多数软件是定制的，不是通过已有构件组装而成。软件发展的四个阶段和软件危机也做了详细的介绍。软... 阅读全文