- 博客(6)
- 收藏
- 关注
原创 软件构造 8 Equality in ADT and OOPADT和OOP中的“等价性”
本章的目标:§ Understand the properties of an equivalence relation. 等价关系§ Understand equality for immutable types defined in terms of the abstraction function and observations. 站在观察者角度,利用AF,定 义不可变对象之间的等价关系§ Differentiate between reference equality and obje
2021-07-06 23:53:36
218
原创 软件构造6 Abstract Data Type (ADT)抽象数据类型 (ADT)
ADT 的意义:抽象数据类型与表示独立性:如何设计良好的抽象数据结构,通过封 装来避免客户端获取数据的内部表示(即“表示泄露”),避免潜在 的bug——在client和implementer之间建立“防火墙”ADT的特性:表示泄漏、抽象函数AF、表示不变量RI基于数学的形式对ADT的这些核心特征进行描述并应用于设计中。本章的主要目标:将数据和操作复合起来,构成ADT,学习 ADT的核心特征,以及如何设计“好的”ADT。1 Abstraction and User-Defined Type
2021-07-05 22:47:30
402
原创 软件构造5 规约设计 Designing Specification
规约的类型:方法的规约接下来我们将介绍如下内容:Understandpreconditionsandpostconditionsinmethodspecifications,andbeabletowritecorrectspecifications方法的规约Whatpreconditionsandpostconditionsare,andwhattheymeanfortheimplementorandtheclientofamethod(...
2021-07-04 22:49:43
320
原创 软件构造3 Software Construction and Configuration Management 软件构造过程与配置管理
一 Software Development Lifecycle (SDLC) 软件生命周期一个软件的生命周期: 从0到1 从无到有。多版本的软件的生命周期:从1到n 从有到好。如下图所示:软件生命周期变化过程中会引起有效性,即vitality的变化。二 传统软件的开发模式 Trational Software Process Models...
2021-07-03 10:16:50
183
原创 软件构造1 软件构造过程中的多维视图
软件构造中的多维视图可以分为以下几个维度1.按照阶段划分 构建阶段和运行阶段 build-time 和run-time2.按构造对象的层次划分 代码层面和组织层面 即 代码 / 构件视图code-level和component-level3.按动态性划分:短时间和长时期层面 moment 和period接下来我们对这几个阶段依次分析一Build-time views of a software system 开发阶段视图属于构建阶段的视图(1)Build-time...
2021-07-02 15:37:41
271
原创 计算机系统大作业
计算机系统大作业题 目 程序人生-Hello’s P2P 专 业 计算学部 学 号 1190600419 班 级 1903006 学 生 王子睿 指 导 教 师 史先俊 计算机科学与技术学院2021年5月摘 要本文主要阐...
2021-06-27 23:08:02
401
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人