摘要： 一、第四单元架构设计 第一次作业 本单元第一次作业涉及到的是简单UML类图中关于类和接口的元素查询与管理。于是新建了MyUmlClass类和MyUmlInterface类，分别管理 UML类和UML接口的相关元素。至于类之间与接口之间的继承与实现关系，也一并记录在MyUml中，即在MyUml记录所有 阅读全文

摘要： 一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， 阅读全文

摘要： OO第二单元多线程电梯总结 写在前面 本单元我们首次接触了多线程编程，相较于我们之前写的单线程程序，多线程考虑的重点不尽相同。多线程最需要关注的是线程间通讯， 而不仅仅是一个线程内的逻辑。而如何安全地处理好共享对象，完成线程间的安全交互，就是我们面临的最大挑战。 S1设计策略 本单元的三次作业，我采 阅读全文

摘要： S1:基于度量分析程序结构 Unit1_task1 这次作业较为简单，我直接使用正则表达式对项进行分割，再依次提取每个项的系数与次数，用一个二元组来存储数据，最后将二元组按 次数高低排序，最后将相邻的项合并（这里我没有使用HashMap，是因为对HashMap的操作还不熟悉）。其中collectpo 阅读全文