- 博客(7)
- 收藏
- 关注
RSS订阅原创 软件构造的多维度视图和质量目标复习笔记
按阶段划分：构造时/运行时视图按动态性划分：时刻/阶段视图按构造对象的层次划分：代码/构件视图(1) Build-time, moment, and code-level view词汇层面：Lexical-oriented source code语法层面：Syntax-oriented program structure: e.g., Abstract Syntax Tree (AST)语义层面：Semantics-oriented program structure: e.g., Class Diagra
2022-06-14 18:55:46
220
1原创 HIT软件构造ADT和OOP中的“等价性”学习笔记
站在观察者角度，利用AF， 定义不可变对象之间的等价关系引用等 价性和对象等价性可变数据类型的观察等价性和行为等价性理解Object的契约，正确 实现等价关系判定现实中的每个对象实体都是独特的所以无法完全相等，但有“相似性”在人类语言和数学中，“绝对相等”是存在的等价性问题：软件中，什么情况下两个事物认为是等价的？可相互替代？ADT是对数据的抽象， 体现为一组对数据的操作如果AF映射到同样的结果，则等价严格来说，在没有 AF的情况下直接在 equals()中...
2022-05-18 10:15:20
249
原创 HIT软件构造OOP学习笔记
Object-Oriented Programming (OOP) 面向对象的编程用OOP/接口/类实现ADTOOP的基本概念封装与信息隐藏继承与重写多态、子类型、重载静态与动态分派– Interface和Class: 定义和实现ADT– 接口中只有方法的定义，没有实现– 接口之间可以继承与扩展– 一个类可以实现多个接口（从而具备了多个接口中的方法）– 一个接口可以有多种实现类接口：确定ADT规约；类：实现ADT也可以不需要接口直接使用类作为ADT，既 有
2022-05-17 09:35:01
276
原创 HIT软件构造Lab2实验报告
2022年春季学期计算学部《软件构造》课程Lab 2实验报告 姓名 赵卓凡 学号 120L021804 班号 2003006 电子邮件 759140563@qq.com 手机号码 13804501310 目录1 实验目标...
2022-05-17 09:03:16
716
原创 哈尔滨工业大学计算机系统大作业 程序人生-Hello‘s P2P
计算机系统大作业题 目程序人生-Hello’s P2P 专 业 计算学部学 号 120L021804班 级2003006学 生 赵卓凡指 导 教 师吴锐计算机科学与技术学院2021年5月...
2022-04-25 08:26:54
656
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人