摘要：
这里不推荐使用第三方软件，因为可能会被植入病毒，而且windows自带的命令行工具足以完成任务! win10系统自带的一个命令行工具——diskpart 在cmd中输入“diskpart”命令即可打开 diskpart的操作可在这个链接查看 https://baijiahao.baidu.com/s 阅读全文
摘要：
OOP第四章博客作业 （1）本单元作业架构设计 1. 1）针对于第一次作业，我是将所给类进行了自己的封装，在MyUmlInteraction类里面进行关系的建立，这里把所给的UmlClass建立好，同时有id2Umlclass（id到UmlClass）和name2UmlClass（name到UmlC 阅读全文
摘要：
OO第三单元博客 • (1)梳理JML语言的理论基础、应用工具链情况： 理论基础： 网络资料上面介绍JML有两种主要的用法： 1) 开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性、二义性的自然语言描述，而是逻辑严格的规格语言描述。 这应该也是我们学习JML的目的，希望我们可以掌握这种 阅读全文
摘要：
OO第二次博客作业 (1)作业分析 三次作业在处理多线程的协同配合时都是使用将同步放在自己写的“线程安全类”（经测试有些许漏洞^_^，但是不影响结果就是了）； 我个人倾向于把 wait()和notify()等操作放在安全类里面 ，这样可以实现逻辑上的抽象，不会使得电梯的工作逻辑比较乱，一开始使用了J 阅读全文
摘要：
经过了三周的OO，尽管过程不太轻松，但是有所得还是值得欣慰的事！ （1）程序结构 第一次作业： UML类图如下，第一次作业在结构上并没有太多面向对象的思想，只是简单的分类，一个运行类，两个对象类，预处理都是直接在运行类进行的，所以有点乱（于是第二次果断重写了-_-！） 复杂度如下，因为带有一定面向过 阅读全文