摘要：
一人成木，二人成林，三人成森。 ——忘了从哪听的也没找到出处假装是我自己说的 感谢一路帮助的小伙伴，感谢ljh、pgh、cwx、xhc还有各位帮忙跑数据的大佬、帮忙看dfs的bug的cjb、虽然无比嫌弃我但还是帮忙java入门的lyj等等等等。万分感谢。 第四单元三次作业架构设计 三次架构基本相 阅读全文
摘要：
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 阅读全文
摘要：
设计策略分析 第一次作业 第一次作业除了main外仅设计了elevator线程与input线程，两者共享一个PersonQueue对象，两个进程的协同和同步控制通过对PersonQueue的共享访问实现。 其中为了避免暴力轮询，除使用基本的sychronize外，按照指导书的建议使用了wait、no 阅读全文
摘要：
Homework 1 代码量度 UML 图 分析： 第一次作业单纯的面向过程，只建了一个Term类，也是当作C中的一种struct用。鉴于不知道之后会有什么新的要求，加上对面向对象了解不够，并没有留任何扩展余地。 因此各模块的复杂度较高，Term类的方法耦合度较高，第一次就飘红。 关于优化，简单的把 阅读全文