自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(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关注的人

提示
确定要删除当前文章?
取消 删除