![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
软件构造
文章平均质量分 91
Gilbert2048
这个作者很懒,什么都没留下…
展开
-
期末总结(三):设计规约
1. Java中的函数和方法参数:参数类型是否匹配,在静态类型检查阶段完成返回值:返回值类型是否匹配,也在静态类型检查阶段完成一个完整的方法,包括方法的规约spec和方法的实现体implementation2. 规约:面向沟通编程2.1 编程文档变量的数据类型定义:Java在编译时检查变量类型定义,确保程序中没有不符合变量类型声明的地方final关键字定义了“不可改变”的设计决策,Java同样会检查为什么要写出假设?:第一:自己记不住,第二:别人不懂代码中蕴含的”设计决策“:给编译器读原创 2021-07-06 19:02:49 · 310 阅读 · 0 评论 -
期末总结(二):数据类型与类型检验
1. 编程语言中的数据类型变量:用特定数据类型定义,可存储满足类型约束的值Java数据类型包括:基本数据类型:int, long, boolean, double, char, etc.类型名均为小写字母对象数据类型:例如,字符串类型String表示一个字符序列;大整数BigInteger类型表示一个任意大小的整数。类型名以一个大小字母开头关于两种数据类型的比较如下:对象类型形成层次结构:所有非基本数据类型都是类,除了Object类,每个类都继承自一个父类,用extends块标识。如果省略ex原创 2021-07-06 01:13:49 · 227 阅读 · 0 评论 -
期末总结(一):软件构造的多维度视图和质量目标
软件构造知识点复习1:软件构造的多维度视图和质量目标1.软件的多维度视角1.1原创 2021-07-05 01:10:39 · 212 阅读 · 0 评论 -
哈工大2021软件构造lab2 实验总结
哈工大2021软件构造lab2 实验总结1.实验目标概述本次实验训练抽象数据类型(ADT)的设计、规约、测试,并使用面向对象编程(OOP)技术实现 ADT。具体来说:针对给定的应用问题,从问题描述中识别所需的 ADT;设计 ADT 规约(pre-condition、post-condition)并评估规约的质量;根据 ADT 的规约设计测试用例;ADT 的泛型化;根据规约设计 ADT 的多种不同的实现;针对每种实现,设计其表示(representation)、表示不变性(rep inva原创 2021-06-18 10:44:18 · 674 阅读 · 2 评论 -
哈工大2021软件构造lab1 实验总结
文章目录前言一、Magic Squares1. isLegalMagicSquare()2. generateMagicSquare()二、Turtle GraphicsProblem 1: Clone and importProblem 3: Turtle graphics and drawSquareProblem 5: Drawing polygonsProblem 6: Calculating BearingsProblem 7: Convex HullsProblem 8: Personal ..原创 2021-06-07 00:12:46 · 613 阅读 · 7 评论