摘要： 一、关于OO第四单元的UML作业的架构设计 在这个单元的作业中，第二次作业只是在第一次作业的基础上增加了一些功能，但在架构上并没有改变，因此这里我主要说第二次作业的架构。 在MyUmlGeneralInteraction类中，有一个HashMap，用于把id转换成对象。 Class, Attribu 阅读全文

摘要： 一、JML语言理论基础和应用工具链 JML是一种形式化的、面向Java的行为接口规格语言。JML以javadoc注释的方式来表示规格，每行都以@起头。 requires子句定义该方法的前置条件 assignable列出这个方法能够修改的类成员属性 ensures子句定义了后置条件 signals子句 阅读全文

摘要： （1）设计策略 电梯第1次作业是一个傻瓜调度电梯，使用先来先服务原则，不用考虑捎带（可以认为电梯的载客量为1），因此比较简单，调度器用一个队列就可以。 使用生产者-消费者模型，输入线程是生产者，电梯是消费者， 除了主线程之外有两个线程，电梯线程和输入线程，输入线程负责在接收到请求后加入到调度器队列的 阅读全文

摘要： 第一次作业 （你没看错，就一个类。。。） 通过正则表达式处理输入的字符串，提取出每一项的系数和指数，在输出的时候，应当考虑到合并同类项和正项提前的问题，使得最终的输出最短。 我第一次作业的代码超级难看，在互测的时候看了别人的代码之后，自己的代码连我自己都看不下去了。在第一次作业的代码中，我只用了一个 阅读全文