摘要： 一、本单元两次作业的架构设计 本单元为UML图的学习，通过完成对图的解析来强化对UML图各部分内容的理解。 第一次作业： 初步完成对类图的解析。首先通过对各种UML元素的关系分析，结合常见的类，我对各解析出的UML元素进行了相关的组合，构造了几个类如MyClass、MyInterface等来将类的继 阅读全文

摘要： 一、JML语言 1、理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 一般而言，JML有两种主要的用法：（1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。（2）针对已有的代码实现， 阅读全文

摘要： 本单元作业为电梯调度的有关问题设计，让我们从单线程编程向多线程过渡。本单元的作业对我来说是一种全新的体验，特别是在多个线程同步控制方面，让我有了从无到有的学习与收获，而在测试多线程程序方面则让我感到十分艰难。总之，本单元的作业让我对多线程有了初步的认识和掌握，虽然作业得分不高，但是还是很有收获吧。 阅读全文

摘要： 说来惭愧，我这三次作业基本上都是面向了过程，用到类也基本上是当成结构体来用，继承多态都不存在，这也让我不得不感到自己对这门课程内容的应用实在是太少了，学了一些理论知识，却都没有运用到实践中。因此在三次作业完成之后，在这周进行总结任务的同时，我也开始反观自己的代码，试图对第三次作业进行重构，但到目前为 阅读全文