- 博客(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
276
原创 软件构造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
561
原创 软件构造5 规约设计 Designing Specification
规约的类型:方法的规约 接下来我们将介绍如下内容: Understandpreconditionsandpostconditionsinmethodspecifications,andbeabletowritecorrectspecifications方法的规约Whatpreconditionsandpostconditionsare,andwhattheymeanfortheimplementorandtheclientofamethod(...
2021-07-04 22:49:43
432
原创 软件构造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
277
原创 软件构造1 软件构造过程中的多维视图
软件构造中的多维视图可以分为以下几个维度 1.按照阶段划分 构建阶段和运行阶段 build-time 和run-time 2.按构造对象的层次划分 代码层面和组织层面 即 代码 / 构件视图code-level和component-level 3.按动态性划分:短时间和长时期层面 moment 和period 接下来我们对这几个阶段依次分析 一Build-time views of a software system 开发阶段视图 属于构建阶段的视图 (1)Build-time...
2021-07-02 15:37:41
340
原创 计算机系统大作业
计算机系统 大作业 题 目 程序人生-Hello’s P2P 专 业 计算学部 学 号 1190600419 班 级 1903006 学 生 王子睿 指 导 教 师 史先俊 计算机科学与技术学院 2021年5月 摘 要 本文主要阐...
2021-06-27 23:08:02
584
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
RSS订阅