摘要：
[toc] 0x0 JML理论相关 0.0 概念及作用 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 JML为严格的程序设计提供了一套行之有效的方法。通过JML及其支持工具（openJML与SMT Solver、JMLUnitNG等），不仅 阅读全文
摘要：
[toc] 前言 紧张刺激的第二单元结束了，本单元体验极佳， 进行作业前有注重架构的稳定，在良好的架构上考虑优化，如此也便利了迭代。 ~~另外，没遇上线程安全bug的电梯，不是完整的电梯[doge]~~ HW5 本次作业要求实现单部可捎带电梯，典型的生产者消费者模式， 输入线程 是生产者， 电梯线程 阅读全文
摘要：
[toc] 前言 本单元作业在优化方面确实有一些想法值得分享，故单开一篇博客分享一下三次作业的优化以及架构。 三次作业的共同之处在于线程之间通讯所依赖的都是共享对象，采用生产者消费者模式。 这样做的好处是框架清晰，迭代起来往往不需要再添加很多类，改调度也是一个函数的事情:D HW5 第一次作业是单部 阅读全文
摘要：
OO第一单元总结与反思 [toc] 摘要 本单元作业分为三次 HW1:本次作业，需要完成的任务为 简单多项式导函数 的求解。 HW2:本次作业，需要完成的任务为 包含简单幂函数和简单正余弦函数的导函数 的求解。 HW3:本次作业，需要完成的任务为 包含简单幂函数和简单正余弦函数的导函数及其组合 的求 阅读全文
摘要：
前言 在Java面向对象课程的学习过程中，我们需要使用度量工具来分析自己程序的代码结构。受OO课程组以及前辈们博客提醒，笔者找到了DesigniteJava这款软件，现对此软件进行简单的说明。 一、DesigniteJava的下载与使用 Designite是一款程序设计的质量评估工具。这款工具可以用 阅读全文