古木月可

摘要： 一、架构设计 1、UML第一次作业——类图 第一次作业基于不同element在UML规格中的从属关系来设计架构。继承了UmlInteraction接口的MyUmlInteraction类是主要的交互层。在其构造函数中对加入进来的每一个element进行分析，判断它的ElementType并根据par 阅读全文

摘要： 一、JML 在第三单元的面向对象课程中我们第一次接触了JML语言以及基于JML规范的规格化设计。在之前一系列关于面向对象思想的学习认识中，我们知道了Java是一种面向对象的语言，面向对象思想的一个重要原则就是将过程性的思考尽可能地延迟。而作为Java建模语言，JML给予了我们一种全新的方式来看待Ja 阅读全文

摘要： 一、设计策略 在第一次作业时，我刚第一次接触多线程这个东西……于是乎对于第一次VIP直上直下一次只接一个人的电梯，我借鉴了指导书中为我们提供的架构，设计了一个输入线程和一个电梯线程，并设置了一个中间类RequestQueue，开一个队列来存放异步输入的请求，并保证这个类是线程安全的。mian类之下的 阅读全文

摘要： orz…… 阅读全文