摘要：
一、第四单元作业架构 本单元作业主要训练同学们结合starUML工具解析UML图的能力，提升同学们对UML类图、顺序图、状态图的理解以及UML类各类图的解析方法。两次作业都不算难，但是细节很繁琐，需要在深入理解接口代码的前提下才能够完成作业。 1.1 第一次作业 第一次作业要求解析UML的类图，需要 阅读全文
摘要：
一、JML语言的理论基础梳理 JML的语言基础主要包括JML表达式、方法规格以及类规格JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annotation ，块注释的方式为/* @ annotation @*/ 。按照Javad 阅读全文
摘要：
本单元主要通过电梯系列习题培养同学们的多线程编程能力，难度逐步递增。第一次最为简单，第二次、第三次则相对困难。我个人在三次作业中均使用wait与notifyAll来解决线程暂停与运行，三次作业架构基本相同，通过在类中增加不同方法来实现不同功能：思路清晰，大大简化了编程难度。 一、作业总结及度量 第一 阅读全文
摘要：
程序结构分析 第一次作业 第一次作业 （1）类方法复杂度 （2）类图 可以看出本次作业总体来说类的耦合程度比较小，因为本次作业比较简单也不会涉及到类的复用问题，由于第一次写Java程序，基本复杂度ev(G)和循环复杂度v(G)都比较高，在输入处理方法中特别明显，需要加以改进。 第二次作业 第二次作业 阅读全文