摘要：
北航OO（2020）第四单元博客作业暨课程总结博客 本单元作业的架构设计 在本单元中，由于UML图具有比较清晰的树形结构，因此我对其中需要进行查询操作的元素进行了包装，在树的父节点中存储所有孩子的引用。考虑到性能问题，我采用了缓存机制，一次查询后尽可能缓存已经遍历过的信息，以减少遍历次数。 本单元我 阅读全文
摘要：
北航OO（2020）第三单元博客作业 [TOC] JML语言总结 理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，它使用JavaDoc注释的方式来表示规格。JML以Java语法为基础并进行了一定的扩充。JML的语法分为几个层次，下面对JML Level 0的核心特性进行简要的总结。 阅读全文
摘要：
北航OO（2020）第二单元博客作业 [TOC] 设计策略分析（多线程视角） 本单元的三次作业中，我采用了相似的策略：采用输入线程与电梯线程通过线程安全的调度器进行交互的方式。这种方式基本属于生产者 消费者模式。在调度器的设计方面，我主要采用synchronized关键字结合wait和notify方 阅读全文
摘要：
北航OO（2020）第一单元博客作业 [TOC] 基于度量的程序结构分析 Homework 1 代码度量 | Method | CONTROL | ev\(G\) | iv\(G\) | LOC | v\(G\) | | | | | | | | | "Expression\.Expression\( 阅读全文