摘要： UML类图解析 -- OO Unit 4 1. 架构分析 1.1 第一次作业的难度主要在于理解UML模型的各种类型以及理解互相之间的关系。在拿到代码后的一段时间内，我并未快速的掌握代码的逻辑与组织结构。甚至花了不少时间在一些不必要的源码上。这可能时由于代码阅读过少，没有形成阅读关键点的意识。但一旦理 阅读全文

摘要： JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif 阅读全文

摘要： 1.程序架构 1.1 作业一：单部ALS电梯 第一周的作业虽说是要求多线程，但是也只是生产者多线程，也就是多个InputThread线程不断向调度器中投入Passenger，（但电梯只有一个）在执行的过程中，需要给共享对象，也就是调度器加锁，防止线程不安全出错。我使用的是简单的synchronize 阅读全文

摘要： 欢迎访问本文原网站：http://www.brandonmoo.xyz/2020/03/20/%e5%a4%9a%e9%a1%b9%e5%bc%8f%e6%b1%82%e5%af%bc-oo-unit-1/ ## 1. 程序架构 ***### 1.1 作业一“简单多项式” 在这一周的作业中，我还没有 阅读全文