软件工程概论第五章

形式化方法指的是将离散数学的方法用于解决软件工程领域的问题,主要是建立精确的数学模型以及对模型的分析活动.在软件开发过程中运用数学模型有很多优点,例如能够解决规格说明的二义性,提高精确性,还能使软件相关问题的本质可以在不同抽象层次被展示出来.本章介绍形式化方法主要从形式化方法基本概念.时态逻辑.模型检验.Z语言.Petri网几个方面讲述. 形式化方法基本概念主要讲了形式规范.形式证明与验证.程序求精,形式规范说明是对软件系统对象,对象的操作方法,以及对象行为的描述.形式证明与验证主要包括模型检测

15.3.0 案例分析 可以看看这两个学生项目的例子,推断出这些团队的血型: STG游戏的跳票(为了完美,推迟了7天,但是7天之后也没有发布……)[leal1] [i] 英语学习软件(说了“明早发布”,但是明早一直没到)[ii] 15.3.1  反动分子阿超 在最后的稳定阶段,阿超不断地把事情推到下一个版本,二柱和果冻都不耐烦了——为什么不拼一下,把所有事情在第一版搞定? 阿超: 有两种做法—— 1. 根据事情的轻重缓急,安排大部分事情在下一个版本做.正因为我们对项目.团队.商业模式有信心,才会

第五章 1.  团队模式和团队的开发模式有什么关系? 团队模式是指一个团队的成员在一起合作的方式,而团队的开发模式特制软件开发团队在软件开发过程中所使用的合作方式.也就是说团队的开发模式是一种特殊的应用在软件开发领域的团队模式. 2.如果你领头开展一个全新的项目,你要怎么选择“合适”的团队模式? 如果我带头做一个全新的项目,我会选择特点不同的人,各自发挥自己的特长,类似功能团队模式,大家各司其事,平等协作.如我擅长代码编写,数据库设计,成员中还有负责需求分析的,负责文档整理和总结的,负责测试等.

所花时间:软件工程概论上课时间(1h5min),web应用技术开发课程(接近4h)课余时间练习(2h)       共计约8h 代码量:登录界面开发292行(web),四则运算代码160行. 博客量:软件工程概论作业01 学习到的知识点:通过Jdbc连接数据库.

本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题.形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究.也可以理解为,软件开发实际上就是把现实世界的需求映射成软件的模型化过程. 形式规约:软件规格说明是对软件系统对象,队象的操作方法,以及对象行为的描述.非形式的规格说明可用自然语言,图,表等形式描述. 形式证明与验证:主要包括模型检测和定理证明. 程序求精:将自动推理和形式化方法相结合,从抽象的形式规约推演出具体的面向计算机的程序代码的全过程. Z语言为以集合论和一阶谓

面向对象技术比较自然地模拟了人类认识客观世界的方式,是当前计算机软件工程学中的主流方法,本章主要讲了面向对象方法概述.面向对象基本概念.软件建模概念.统一建模语言UML.常用的UML图等知识. 面向对象方法概述中讲到面向对象＝对象+类+继承+通信,主要从面向对象的发展历史和面向对象的软件工程方法两个方面展开,面向对象技术的发展由初始阶段.发展阶段.成熟阶段,详细的讲了面向对象编程语言的发展.面向对象的软件工程方法涉及到面向对象分析.面向对象设计.面向对象编程.面向对象测试到面向对象软件维护的全过

本章介绍了软件项目管理的相关知识,从软件项目管理概述.人员组织与管理.项目沟通管理.软件项目规划.软件风险管理及软件配置管理这几个方面展开讲述,详细的介绍了软件项目实行过程中的管理知识. 软件项目管理概述主要讲了:1.软件项目的特征,即软件产品的不可见性.项目的高度不确定性.软件过程的多变化性.软件人员的高流动性等.2.软件项目管理的“4P”,人员.产品.过程.项目.3.软件项目的管理活动,项目启动.项目规划.项目实施.项目收尾.概论讲述了软件项目管理的一些活动和重要的因素等. 人员组织与管理主

本章主要介绍了软件的概念(软件是计算机程序.规程以及运行计算机系统可能需要的相关文档和数据.程序是计算机设备可以接受的一切指令和说明,为计算机提供所需的功能和性能. 数据是事实.概念或指令的结构化表示,能够被设备接受.理解或处理.).软件的类型.软件的特性.软件的发展史以及软件危机,软件工程的概念.软件工程的要素.软件质量的特性.软件工程的方法.计算机辅助软件工程的方法CASE.当前面临的主要主要挑战,软件工程知识体系.SWEBOK项目介绍.组成(软件需求.软件设计.软件构造.软件测试.软件维护

第一章  软件定义:是计算机系统中与硬件相互依存的另一部分,包括程序.数据和相关文档的完整集合. 软件特性:形态特性.智能特性.开发特性.质量特性.生产特性.管理特性.环境特性.维护特性.废弃特性.应用特性.  软件分类.  (1) 系统软件 (2) 应用软件 (3) 支撑软件 (4) 可复用软件   软件危机的原因:1)缺乏软件开发的经验和有关软件开发数据的积累,使得开发工作的计划很难制定.2)软件人员与用户的交流存在障碍,除了知识背景的差异,缺少合适的交流方法和需求描述工具也是重要的一个原因