摘要：
一、架构设计分析 第一次作业： 在MyUmlInteraction中实现了以下HashMap和List来存储应该得到的树状结构和输入处理过程中应该暂时存储的信息 可以看到在HashMap的键值对的value中，是我自己定义的新的类，在每一个新的类中都有一个相应的HashMap来存储应该是他的子节点的 阅读全文
摘要：
一、JML理论基础及应用工具链 （1）、JML理论基础 JML为Java建模语言，是一种行为接口规范语言，用来指定Java模块的行为。通常以//@（行注释）或者/*@ mycode @*/（块注释）两种形式呈现。并且一个JML规格的组成一般分为正常行为和异常行为（异常行为有时可以忽略）。同时在每种行 阅读全文
摘要：
一、设计策略分析总结 第五次作业：因为作业的要求比较简单，只要实现简单的电梯功能既可，所以在第一次电梯作业中，我选择将输入处理放入到主线程中，电梯单独开一个单独的线程，通过电梯和处理输入的线程共享一个请求队列来实现电梯对输入请求的处理，实现起来比较简单。 第六次作业：此时实际上还是只有一部电梯，所以 阅读全文
摘要：
前言： 经过三周的奋斗，总算是顺利完成了面向对象课程的第一个大作业。想一想这三周难度递增的作业，再看看自己第一周写的代码。感觉自己有了很大的提高，但是还是有非常大的提升空间。由于自己之前没有用过java编写程序，并且c++的编程经验也不是特别丰富，所以现在回头看来，自己的作业在面向对象这方面体现的不 阅读全文