摘要：
BUAAOO 第四单元及课程总结 一、第四单元架构设计 第十三次作业 第十三次作业要求解析类图，于是我自己设计了MyClass、MyInterface和MyOperation三个类用以保存相关的信息以及设计相应的查询方法。还有一点就是在构建整个模型的时候对元素的解析是分层次的，我是选择遍历三遍，第一 阅读全文
摘要：
BUAAOO 第三单元总结 一、实现规格所采取的设计策略 1.通读JML 三次作业下来，我都是采取先通读一遍JML规格，大致理解整体的架构，这么做的主要目的就是分析采取的数据结构，以免后面写着写着发现有更高效的数据结构。这里需要做的主要是分析JML规格中对数组的操作，比如第一次作业中Network中 阅读全文
摘要：
BUAAOO 第二单元总结 第一次作业 同步块的设置和锁的选择 第一次作业的时候我对于线程、共享对象的行为联系都不是特别的熟悉，其实是先写完所有的方法（包括涉及读写共享对象的方法），在最后才逐个分析哪些需要加锁。因此，第一次作业我的设计并没有一个很好的层次性，将涉及共享对象的方法都杂糅在了一起，所导 阅读全文
摘要：
BUAAOO 第一单元总结 程序结构分析 第一次作业 现在看来第一次作业真的是相当的友好，只有幂函数的求导，优化也几乎不用考虑太多。 我第一次作业就用了三个类： 主类MainClass用于输入输出操作，这里有一个小细节我觉得还是值得一提，就是我是采用的多行输入while (scanner.hasNe 阅读全文