摘要： （1）总结本单元两次作业的架构设计 第一次作业 是要完成一个UML类图解析器，已知的是UmlElement信息，要求完成类图有关信息的查询指令。 设计思路的关键是对UmlElement进行处理，建立起自己的类图保存机制，而这些元素是相互关联的。 所以，我首先采用了NodeClass，NodeInf， 阅读全文

摘要： 第三次博客作业 (一)梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，主要用于开展规格化设计和针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 1. JML语言的理论基础 （1）前置条件： 阅读全文

摘要： 第二次博客作业 (一)从多线程的协同和同步控制来分析自己的设计策略 这个单元的作业让我们了解了多线程并学会了熟练使用，而在使用过程中，所以设计策略，首先应该保证程序的正确性，其次再去保证性能的优化。首先，从需求来分析，给你请求，要求实现乘客的准确到达，这就需要电梯的正确调度和运行。 而第一次作业，我 阅读全文

摘要： 第一次博客作业 (一)基于度量来分析自己的程序结构 第一次作业类图及度量： ![image1][] | Complexity metrics | | | | | | | | | | Method | ev(G) | iv(G) | v(G) | | Main.main(String[]) | 1 | 阅读全文