- 博客(9)
- 收藏
- 关注
RSS订阅原创 对规约内容的整理
归约的定义：规约是客户端与实现者之间签订的“契约”，客户端的输入应当满足前置条件，实现者编写的程序应当给出满足后置条件的结果。规约描述了方法的功能以及接口（“能做什么”），不需要依赖（也不应该透露）方法的具体实现。规约的强度：更强的规约：前置条件更弱，后置条件更强，满足更强规约的方法一定能替代满足更弱规约的功能，客户端往往喜欢规约强度更高的方法（有更大的自由度），但这增加了实现者的压力.........
2022-06-13 21:27:40
185
原创 软构lab2心得
Poetic Walks 本环节给出了一个Graph接口，要求我们秉承测试驱动开发的思想，分别建立继承graph接口的边图类、点图类，并且在类中具体实现操作graph的一系列方法。另外，我们需要在类中具体实现Edge或Vertex数据型，在完成之后，用我们设计的图的抽象数据型完成poetic walks的工作。这一环节的主要目的是动手实践ADT的规约设计并具体设计、实现ADT。 Problem 1: Test Graph <String> ...
2022-05-31 17:21:30
87
原创 使用idea的版本控制功能将工程提交到github
在软件构造的实验中学习了如何使用idea版本控制上传工程到github，实际上只是由idea的图形界面代替了命令行而已。1. 在Version Control中选择Github 点击右上方的加号，在弹出的界面中添加自己的github账号和密码。2. 在idea上方依次选择 VCS ---> Import into Version Control ---> Create Git Repository。3、在第3步后弹出的界面中选择本地要提交的项目的路径。成功后如下图..
2022-05-31 16:54:18
601
原创 软构lab1的写完感想
Magic Squares 这次任务的目的是要求设计一个程序：任务一：能够从五个已经提供的txt文档中读入数据，来判断输入的数据能否构成一个MagicSquare，若是则返回true，若不是则返回false且说明原因。MagicSquare是一个正方形图形，他的每一行、每一列和对角线的数字之和都相等。任务二：对给出的generateMagicSquare函数进行扩充，使之能够产生一个MagicSquare并且将其输入到文本6.txt中，然后对其判断是否为MagicSquare。并且满足若输入..
2022-05-31 16:25:01
88
原创 哈工大2022计算机系统大作业
摘 要该大作业通过对于hello world 程序的“一生”的研究与探讨，将本学期的计算机系统学习内容进行了回顾与反思，对学习内容有了更深的理解，对于本课程的重要性有了更加深刻的认识.关键词：计算机系统；hello world；……；（摘要0分，缺失-1分，根据内容精彩称都酌情加分0-1分）目 录第1章 概述.........................................
2022-05-18 16:10:22
848
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人