04 2020 档案
HIT软件构造lab2
摘要:目录 1 实验目标概述 1 2 实验环境配置 1 3 实验过程 1 3.1 Poetic Walks 1 3.1.1 Get the code and prepare Git repository 1 3.1.2 Problem 1: Test Graph <String> 1 3.1.3 Prob
阅读全文
HIT软件构造课程3.5总结(Equality in ADT and OOP)
摘要:1.等价性关系 等价关系 自反、对称、传递 2.评价等价性的三种方法 ADT的等价操作 抽象函数AF:内部表示->抽象表示 基于抽象函数AF定义ADT的等价操作。 使用AF定义等价性 如果AF映射到相同的结果,则等价。 使用操作定义等价性 站在外部观察者角度,对两个对象调用任何相同的操作,都会得到相
阅读全文
HIT软件构造课程3.4总结(Object-Oriented Programming )
摘要:上一节学习了ADT理论,这一节学习ADT的具体实现:OOP 1.基本概念:对象,类,属性,方法 对象 对象是状态和行为的捆绑。java中,状态=成员变量,行为=方法。 类 每个对象都定义了一个类,类定义了成员变量和方法.类的方法就是他的application Programming interfac
阅读全文
HIT软件构造课程3.3总结(Abstract Data Type)
摘要:1.抽象性和用户定义类型 用户定义类型 除了编程语言所提供的基本数据类型和对象数据类型,程序员可以定义自己的数据类型。 数据抽象性 数据抽象:由一组操作所刻画的数据类型。(不关心数据的具体表示)。只需设计/使用操作。 抽象类型是被他的操作所定义的 和内部如何实现操作无关 2.数据类型分类和运算 可变
阅读全文
HIT软件构造课程3.2总结(Designing Specificaton)
摘要:本节转向“方法/函数/操作”如何定义 上一节是名词 这一节是动词 1.编程语言中的函数和方法 方法 使用者不需要知道方法内部如何实现,这叫做“抽象”。 参数 参数类型是否匹配,在静态检查时完成。 返回值 2.规约:程序用于沟通 (1)程序中的文档 java API 类的层次,类接口的实现列表 直接的
阅读全文
HIT软件构造课程3.1总结(data type and type checking)
摘要:软件构造的理论基础-ADT 软件构造的技术基础-OOP 1.编程语言中的数据类型 类型和变量 类型是变量的集合,在这些变量集合上我们可以定义运算(类似于代数系统?)。栗子:boolean,int,double,String 变量是被命名的位置,这里存储着着一个特定的值。类似于萝卜和坑的关系。 jav
阅读全文
浙公网安备 33010602011771号