- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造——不变量相关知识点
immutable的ADT具有不少特性。表示独立性：client使用ADT无需考虑其内部如何实现，ADT内部表示的变化不应影响外部spec和客户端，除非ADT的操作指明了具体的前置条件和后置条件，否则不能改变ADT的内部表示。表示泄露：不仅影响不变性，也影响了表示独立性，无法在不影响客户端的情况下改变其内部表示。最好的办法：使用immutable的类型并且将其声明为（privat final），彻底避免表示泄露，此外还可以使用防御式拷贝。不变量、表示不变量RI：由ADT来负责其不变量
2021-07-06 10:23:36
243
1
原创 软件构造——实验三中的可复用性和可维护性
软件构造的lab3中有三个场景：（1）值班表管理：安排员工值班，每天只能安排一个员工，且不能出现无人值班的情况。需要每天记录当天值班员工的信息。（2）操作系统进程调度管理：单核CPU执行多个进程，每个时间只能有一个进程在执行，一个进程的执行可以被分为多个时间段，CPU可以闲置。（3）大学课表管理：各周课表完全一样，进行周期性的重复，一个时间段内可以安排不同的课程，可以有时间段没课，一个教室可以承担课表中的多门课程。共性：三个场景都需要在一段时间内执行一定的任务。特性：场景1不能出现空白时
2021-07-02 19:33:45
98
原创 软件构造——集合的相关知识
软构实验二中，用到了不少Set以及Map相关的类，对于初次接触的人来说，可能会一头雾水，不知所措。今天我就来简单介绍一下Java中集合相关的内容。Java 最初版本只为最常用的数据结构提供了很少的一组类： Vectοr 、Stack 、Hashtable 、BitSet 与Enumeration 接口，其中的Enumeration 接口提供了一种用于访问任意容器中各个元素的抽象机制。这是一种很明智的选择，但要想建立一个全面的集合类库还需要大量的时间和高超的技能。在Java 类库中，集合类的基本
2021-06-28 10:43:55
90
原创 2021春计算机系统大作业
计算机系统大作业题 目 程序人生-Hello’s P2P 专 业 计算学部 学 号 1190201420 班 级 1903004 学 生 马立凡 指 导 教 师 史先俊 计算机科学与技术学院2021年5月摘 要本文简述了hello.c源程序的预处...
2021-06-27 17:58:02
262
原创 软件构造——绘制属于你的特色图案
软件构造实验一的P2中，课程给的程序可以操控画笔进行画图，并且在任务8中让每个人绘制自己的图形。本文给出几种个人认为较为美观的图形。圆：
2021-06-16 15:19:55
155
原创 软件构造——将代码提交至github
当大家完成实验后，可能对于如何提交至github仓库感到困惑，下面我就来向大家演示完整地使用git提交至个人仓库的流程。第一步，安装Git。
2021-06-01 11:49:29
192
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人