17373363

摘要： OO第四单元总结 第四单元代码架构总结 第四单元的作业是让我们实现一个对于UML类图的解析程序，第一次作业仅涉及类图的解析，需要我们通过理解UML类图中各个元素的作用来实现对UML类图的存储与查询。具体实现中，我将各个元素重新封装，并且在封装中实现了层次关系。 MyUmlInteraction：这个 阅读全文

摘要： 第三单元作业总结 JML语言的理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言(Behavior Interface Specification Language，BISL),基于Larch方法构建。BISL提供了对方法和类型的规格定义手段。所谓接口即一个方法 阅读全文

摘要： OO第二单元总结博客 第一部分 代码分析 第五次作业分析 第五次作业非常简单，就是采用了傻瓜策略以及生产者-消费者模式，主要这是第一次认识到多线程中，可能会出现的各种线程不安全问题以及如果采用忙等待的暴力轮询 程序的执行效率会非常之低。这次作业整体上没什么特点，是多线程入门的试手题目。 第六次作业的 阅读全文

摘要： 第一部分：代码分析 第一次作业： 整体的类图如下所示 方法和类的复杂度分析： 第一次作业中具有两个类，主类负责读取输入的字符串并传递给poly类，而poly类中具有对输入数据合法性的检查，二元组的数据存储，对二元组的求导操作，以及合并同类项的化简操作。这些操作又是由一些基本的操作如提取数字，提取符号 阅读全文