摘要：
一、代码架构设计 前两次作业，我的设计的核心思想是一样的，我在第一次作业弄了一个图，第二次作业弄了三张图，查询是从顶层查询三个图 第三次作业，很遗憾，没能顺利完成。 图的结点设置，第一次作业是把UmlClass作为图的结点，第二次分别把UmlClass，UmlStateMachine，UmlInet 阅读全文
摘要：
关于怎么用那些工具 下载说明， （1）openjml+solver的zip：http://www.openjml.org/ （2） jmlunitng：http://insttech.secretninjaformalmethods.org/software/jmlunitng/ 点击里面那个 1. 阅读全文
摘要：
第三单元博客总结 这一单元，主要是进行的JML的使用，以及考察了对于容器，对于算法选择时候的时间复杂度的控制。 JML的理论基础和相关工具 JML的核心就是规格和规范，当我们作为设计者想要向开发表达出让他们做什么的时候，我们往往需要用注释的方式来进行表述，比如某个类应该有什么变量，干什么，再比如某个 阅读全文
摘要：
第一次作业 （1）设计策略 设计策略，是几乎没有大的策略，模仿着ALS的调度方法，大致弄了个样子出来。 第一次作业的主要目的是熟悉单生产者，单个消费者的生产模式，熟悉共享对象的读写同步等操作。 电梯调度方面，实现了简单的捎带，调度判断等等策略，总的来说就是同楼层同方向的捎带，弱化版的ALS电梯 （2 阅读全文
摘要：
第一部分，代码分析 第一次作业 第一次作业，说实话，真的就是在面向过程，不明白什么叫做面向对象，虽然有着假期作业的铺垫，对java的语言有着一定的认识，但是总是想先用类似C语言的伪代码写出来过程，然后按照数据方法分成若干块，再建立成若干个类。为了面向对象而写类，为了满足Checkstyle而分成若干 阅读全文