摘要： 一、第四单元架构设计 1、第十三次作业 这次作业的重点更偏重于层次结构的设计，很明显每个UmlElement差不多都包含id、name、parentId、visibility四个属性，所以将他们抽象出来设计了MyUml类，又考虑到关联关系只会涉及到类和接口，所以设计了AssociationEleme 阅读全文

摘要： 一、JML理论基础 JML是一种规格化的语言，通过逻辑性极强的表述方式和一套公认的标准化语法，可以很大程度上消除自然语言表述时带来的二义性，方便多人开发。根据近三次作业中出现的规格，主要的一些比较特殊的语法总结如下： normal_behavior : 正常情况 exceptional_behavi 阅读全文

摘要： 一、设计策略 1、第五次作业 第五次作业很自然的采用了生产者-消费者模式，设计了三个类：主类MainClass，托盘类Scheduler和电梯类Elevator，实现了两个线程：主线程和电梯线程，主线程接受乘客请求后通过putReq()方法将其加入Scheduler的队列，输入结束后通过setEnd 阅读全文

摘要： 一、程序分析 1、第一次作业 设计思路：第一次作业相对来说还是比较简单，涉及到的因子只有幂函数和常数，所以我采用了很自然的思路，即设计一个Poly类，其中包括一个HashSet和一个HashMap,前者用来存多项式的各个幂，后者用来存相应的幂对应的系数，再分别写一个相加的方法和求导的方法即可，而且利 阅读全文