软件构造5：ADT

最新推荐文章于 2024-07-30 20:50:32 发布
最新推荐文章于 2024-07-30 20:50:32 发布
阅读量64 收藏
点赞数
文章标签： java 前端 服务器
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_62123220/article/details/125405088
版权

一、ADT的特性

表示泄露、抽象函数AF、表示不变量RI

二、操作的分类

三、AF和RI

1.两个表示空间

抽象空间：client看到和使用的空间

ADT开发者关注表示空间R，client关注抽象空间A。

2.抽象函数AF

R和A之间的映射关系的函数，即如何去解释R中的每一个值为A中的每一个值。

AF：满射、非单射、未必双射=>R中的部分值并非合法的，在A中无映射值。

3.RI

表示不变性：某个具体的“表示”是否是“合法的”

也可将RI看作：所有表示值的一个子集，包含了所有合法的表示值

也可将RI看作：一个条件，描述了什么是“合法”的表示值

120L020201-李想
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
HIT哈工大软件构造实验lab2
06-17
本文档总结了哈工大软件构造实验Lab2的知识点，涵盖了抽象数据类型（Abstract Data Type，ADT）、面向对象编程（Object-Oriented Programming，OOP）等方面的内容。 一、实验目标概述 实验Lab2的目标是通过实现...
2022 哈工大 软件构造 Lab2
05-31
【哈工大软件构造Lab2】是针对计算机科学与技术专业学生进行的一项实践教学活动，主要目的是深化对软件开发过程中的抽象数据类型（ADT）和面向对象编程（OOP）的理解。在这个实验中，学生们将有机会亲手实现并运用...
软件构造复习：ADT
weixin_45880706的博客
06-15 224
1 Abstraction and User Defined Types 数据抽象：由一组操作所刻画的数据类型 传统的类型定义：关注数据 的具体表示
HIT软件构造：ADT学习
m0_51401323的博客
06-08 233
前段时间学软构的第六章ADT，老师一直在强调ADT很重要，需要我们认真地去学习和对待 既然这么重要，这篇就记录一下ADT的学习吧 什么是ADT？ （百度百科）抽象数据类型（Abstract Data Type，ADT）是计算机科学中具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的，通过其上的可执行的操作以及这些操作的效果的数学约束（与可能的代价）。 我的理解：抽象数据类型，首先是数据类型。接触这个概念是在大一学习C语言的时候，数
软件构造复习：ADT的理论与实现
weixin_41961439的博客
06-24 177
问题1：什么是ADT? "Abstract Data Type"的简写，抽象数据类型，具有表示泄露，抽象函数AF，表示不变量RI 抽象类型：强调“作用于数据上的操作”，程序员和 client无需关心数据如何具体存储的，只需设计/使用操作即可 AF：一个函数关系，表示该值如何映射到抽象空间中的值 RI：选择某种特定的表示方式R，进而指定某个子集是“合法”的 设计ADT： (1) 选择R和A； (2)...
软件构造课程阶段总结（五）：ADT
sy3031273517的博客
06-12 923
除了编程语言所提供的基本数据类型和对象数据类型，程序员可定义自己的数据类型。数据抽象：由一组操作所刻画的数据类型。
软件构造部分笔记：ADT抽象数据类型.PART2
qq_45803721的博客
06-29 158
1 Invariants 不变量 抽象型数据的重要特性：不变量—— 在任何时候总是true。 例如，immutability就是一个典型的“不变量”。 由ADT负责其不变量，与client端的任何行为无关。 原因：保持程序的“正确性”，容易发现错误 ...
软件构造部分笔记：ADT抽象数据类型.PART1
qq_45803721的博客
06-29 147
本博客参考了HIT软件构造课程的PPT、MIT软件构造课程的教学资料。 1 目的 抽象数据类型与表示独立性：如何设计良好的抽象数据结构，通过封 装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在 的bug——在client和implementer之间建立“防火墙” ...
软件构造课程阶段总结（七）：ADT和OOP中的等价性
sy3031273517的博客
06-23 683
现实中每个对象都是独特的，并不存在完全相等，但存在对“等价性”的需要。数学中完全相等存在等价关系问题即为在软件领域中界定判断为相等：等价、可相互替代的数学中认为等价关系为“自反、对称、传递”的关系。在ADT中，抽象函数AF映射到同样的结果（AF(a)==AF(b)）=两对象等价.对两个对象执行任何相同操作，得出的结果都相同，则认为两对象等价。（为充要关系）Java下有==和.equals()两种操作来测试相等性，其有不同原理和用法。
知识点：ADT
2301_79538436的博客
06-27 558
设计ADT：规格Spec–>表示Rep–>实现Impl。
软件构造3.3 ADT
Hit_yja的博客
06-22 346
3.3 ADT1、抽象数据类型与表示独立性：如何设计良好的抽象数据结构，通过封装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在 的bug——在client和imp；2、 ADT的特性：不变量、表示泄漏、抽象函数AF、表示不变量RI；3、抽象类型：强调“作用于数据上的操作”，程序员和client无需关心数据如何具体存储的，只需设计/使用操作即可。ADT是由操作定义的，与其内部如何实现无...
2019-软件构造-期末试题1
08-03
1. **软件构造实体的理解** - Build-time view 和 moment-view 是软件构造中的两种视角。Build-time view 关注的是构建过程中的元素，如编译、静态链接库等，而 moment-view 更侧重于运行时刻的状态，如内存快照、...
HIT软件构造复习资料
06-23
### HIT软件构造复习资料知识点梳理 #### 软件构造概览 - **软件构造**：涉及软件设计、实现及测试等多方面的综合学科，旨在培养学生掌握软件开发过程中的核心技术和方法。 #### 基本概念与术语 - **Buildtime**...
哈尔滨工业大学（HIT）软件构造课件
05-27
《哈尔滨工业大学（HIT）软件构造课件》涵盖了软件开发中的关键知识点，旨在培养和提升学生在软件构建过程中的专业技能。以下是对每个文件名称所对应主题的详细解读： 1. **12 Construction for Robustness and ...
使用hutool工具判断字符串是否全部是字母(包括大小写)，java判断字符串是否全部是字母(包括大小写)
qq_43700885的博客
07-29 452
1.导入hutool的maven依赖。2.复制一下代码执行。
java判断邮箱地址是否正确，使用hutool工具判断邮箱地址是否正确
qq_43700885的博客
07-29 250
1.导入hutool的maven依赖。2.直接复制一下代码运行。
Swagger使用Map接受参数时，页面如何显示具体参数及说
a1058926697的博客
07-26 621
后端使用Map接受参数，要求在swagger页面上显示具体的参数名称、类型及说明。当Map接受参数数量少时，可以使用Swagger自带的注解。自定义注解 @ApiGlobalModel。编写处理注解对应的插件。
花几千上万学习Java，真没必要！（三十五）
最新发布
wehpd的博客
07-30 281
集合之Map
哈工大软件构造Lab2：ADT设计与OOP实现
实验主要围绕软件构造的核心概念进行，特别是面向对象编程（OOP）和抽象数据类型（ADT）的设计与实现。实验的目标是提升学生对ADT的理解，包括识别、规约、测试以及泛型化。实验流程涵盖了一系列关键步骤： 1. **...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值