软件工程概论第五周总结表

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

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

本章主要介绍了形式化方法的基本概念包括形式规约(即软件规格说明,是软件系对象作用的方法,自己对象行为的描述)形式证明与验证(技术包括:检测,定理定理证明),程序求精,逻辑时态的一阶线性时态逻辑.计算树逻辑.模型检测临就是在Kripk模型下,对以CTL*公式给出的软件性质得正确性验证.计算树逻辑.模型检测Z语言的概述Z语言的表示(集合关系以及函数.队列和包.自由类型和模式).Z语言实例(停车场管理系统.图书管理系统的实例),petri网的基本定义petri规格实例-信号灯

软件工程概论 第五章 软件工程中的形式化方法 1.形式化方法基本概念 形式约束:软件规格说明是软件系统对象,对象的操作方法,以及对象行为的描述.在系统的开发及演化过程中,对象,对象的性质以及操作应作为一个整体来处理. 形式证明与验证:主要包括模型检验和定理证明. 程序求精:是将自动推理和形式化方法相结合,从抽象的形式规约推演出具体的面向计算机的程序代码的全过程. 2.时态逻辑 模态逻辑是经典命题逻辑和一阶谓词逻辑的扩展形式. Kripke结构:三元组M=(W,R,L)称为模型逻辑的一个模型,或K

1.psp Date Type Job Start Int(min) End Total(min) 20160404 助教 团队博客 14:00 16:20 25 14:25 18:00 100 站立会议 "耐撕"站立会议 15:10 15:40 30 编码 重构 18:00 5 18:30 25 编码 选择抢答者(JSP) 18:30 10 19:30 50 20160405 编码 选择抢答者(生成抢答者圈圈) 18:10 15 19:00 35 看书 计算机网络与因特网 22:00

软件工程概论课已经结课了,回忆起这一学期感慨颇多.最终还是没有完成学期开始时候的小flag,回想自己的学习生涯,好像都是这样的结果.原因有好多,老师说是没有危机感,不知道自己要做什么:自律性比较差,感觉自己也不是特别贪玩,但就是比较容易浪费时间,养成一拖再拖的坏习惯.这个寒假下定决心一定要改掉这个坏习惯,不在拖沓. 王老师讲课是非常有激情的,也是非常的用心.老师从来不带扩音器,但教室的每一个角落都能听的清清楚楚.教课内容主要是根据构建之法做的ppt,内容覆盖了做一个项目完整的流程.老师讲课非常地

20172327 2018-2019-1 <程序设计与数据结构>第五周学习总结 教材学习内容总结 第九章 排序与查找 查找 1.查找:在某个项目组中找到指定元素或判断是否存在.该项目组被称为查找池. 2.常见查找方式,线性查找. 3.查找目标:高效地完成查找,用最小化比较操作.通常查找池中项目数目定义了该问题的大小. 4.静态方法(类方法):可通过类名激活 5.在方法声明中,通过static修饰符就可以把它声明为静态的. 6.泛型方法:与泛型类相似,不是创建引用泛型参数的类,而是创建一个引用泛

2018-2019 20165203 <信息安全系统设计基础>第五周学习总结 教材学习内容总结 重要概念 存储器系统:一个具有不同容量成本和访问时间的存储设备的层次结构. 高速缓存存储器------主存储器中数据和指令的缓冲区域------磁盘------通过网络连接其他机器磁盘或磁带上的数据的缓冲区域 存储器层次结构:cpu存储器----高速缓存----主存----磁盘(访问速率依次降低) 存储技术 随机访问存储器(RAM) 对比: 名称 特点 简称 用处 容量 静态RAM 快.贵 SRAM

嵌入式课程设计第五周学习总结 标准 I/O 编程 标准 I/O 提供流缓冲的目的是尽可能减少使用 read()和 write()等系统调用的数量.标准 I/O 提供了 3 种类型 的缓冲存储.全缓冲.行缓冲.不带缓冲. 打开文件 打开文件有三个标准函数,分别为:fopen().fdopen()和 freopen().其中 fopen()可以指定打开文件的路径和模式,fdopen()可以指定打开的文件描述符和模式,而 freopen() 除可指定打开的文件.模式外,还可指定特定的 I/O 流. f