软件工程概论通读第三章

软件项目的特征: 软件产品的不可见性 项目的高度不确定性 软件过程的多变化性 软件人员的高流动性 软件项目管理的“4P”: 人员(People)   产品(Product)  过程(Process)  项目(Project) 软件项目管理活动: 项目启动 项目规划 项目实施 项目收尾 软件项目组织: 民主式组织结构 主程序员式组织结构 技术管理式组织结构 软件团队的建设: 明确的目标与共同分享的项目前景 清晰的角色分工与紧密的团队协作 融洽的关系与通畅的沟通 高昂的士气与高效的生产力 团队建设基

软件需求 业务需求:用户需求:功能需求和非功能需求:系统需求 需求工程过程 需求获取:需求分析:需求规格说明:需求验证:需求管理 需求获取技术 面谈:需求专题讨论会:观察用户工作流程:原型化方法:基于用例的方法 案例:小型图书资料管理系统 确定参与者:确定场景:确定用例:编写用例描述

第一章:概述 第一章概述主要分为软件,软件工程,软件工程知识体系,软件工程职业道德规范四个模块. 软件是计算机程序.规程以及运行计算机系统可能需要的相关文档和数据.一般可以划分为通用软件和定制软件两种类型.软件是复杂的,不可见的,不断变化的,大多数通过定制而不是已有构件组装而成.软件开发和维护存在一系列严重问题称为软件危机. 软件工程是1,将系统性的.规范化的.可定量的方法应用于软件的开发.运行和维护,即将工程化应用到软件上,2,对1中所述方法的研究.由过程.方法和工具三个要素组成: 软件质量具

第二章软件过程主要分为软件过程的概念,软件过程模型和案例三个模块. 软件过程即在软件工程过程.方法.工具的三要素之中,软件过程将人员.技术.组织与管理有机的结合在一起.软件工程是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动.明确定义团队人员的工作和职责,所执行的活动及其顺序关系,活动的内容和步骤. 软件过程的基本活动包括问题提出.软件需求规格说明.软件设计(实现算法.数据结构和接口设计).软件实现(源程序及合适的注释).软件确认(测试修改不断反馈)和软件演化等6个基本

第五章  软件工程中的形式化方法 形式化方法基本概念 形式规约 当规格说明用非形式化方法描述时,可称之为“规格说明”,当规格说明用形式化方法描述时,可称之为“形式规约”. 形式证明与验证 形式证明与验证技术主要包括模型检测和定理证明.模型检测是一种基于有限状态模型并检验该模型的性质的技术.定理证明采用逻辑公式来表示系统规约及其性质. 程序求精 程序求精是将自动推理和形式化方法相结合,从抽象的形式规约推演出具体的面向计算机的程序代码的全过程.程序求精的基本思想是用一个抽象程度低.过程性强的程序去代

模态逻辑是经典命题逻辑和一阶谓词逻辑的拓展形式. 一阶线性时态逻辑(FOLTL)是一阶谓词逻辑的扩展. 计算树逻辑(CTL)是一种离散.分支时间.命题时态逻辑. Z语言为系统建立基于状态的模型.模型的三个主要组成部分是输入,输出和状态. Z语言表示抽象的要素总体上可分为两类:基于集合理论的集合.关系.函数.序列和包,以及Z独有的模式. Z语言中,自由类型用于递归定义新类型. 自由类型::=常量1|...|常量n|函数1<输入对象1>|...|函数m<输入对象m> Petri网分为位

 第十一章 软件演化 软件演化的特性: 1.软件维护是一个必然的过程. 2.软件的不断修改会导致软件的退化. 3.软件系统的演化特性是在早期的开发阶段建立起来的. 4.软件开发的效率与投入的资源无关. 5.在软件系统中添加新的功能不可避免地产生新的缺陷,因此在一个发布的新版本中有较大的功能增量将会意味着需要发布下一个版本,该版本中的新增功能较少,而主要是修补这些新产生的软件缺陷. 软件维护 软件维护是指在软件运行或维护阶段对软件产品所进行的修改. 1.改正性维护 2.适应性维护 3.完善性维护

本章的主要内容是软件项目管理 软件项目原理概述: 软件项目的特征: 1. 软件产品的不可见性: 2. 项目的高度不确定性: 3. 软件过程的多变化性: 4. 软件人员的高流动性. 总而言之,“复杂”和“变化”给软件项目的管理带来了相当大的难度,降低复杂性和控制变化成为软件项目管理面临的关键问题. 软件项目管理的“4P”: 1. 人员:2. 产品:3. 过程:4. 项目. 软件项目管理活动: 1. 项目启动: (1) 确定项目活动: (2) 组建项目团队: (3) 建立项目环境. 2. 项目规划:

第七章  面向对象分析  分析类   在分析对象模型中,分析类是概念层次上的内容,用于描述系统中较高层次的对象. 实体类:表示系统存储和管理的永久信息: 边界类:表示参与者与系统之间的交互: 控制类:表示系统在运行过程中的业务控制逻辑. 分析活动  需求分析的重点在于理解系统本身,它将需求获取阶段产生的用例和场景转换成分析模型. 识别分析类 识别边界类 通常,一个参与者与一个用例之间的交互或通信关联对应一个边界类.边界类收集来自参与者的信息,这些信息可以被实体类和控制类使用. 识别控制类  控制