摘要：
OO-Blogs Unit4 这篇博客对Unit4做简单的介绍，并回顾一学期的OO生涯。 单元简介 这一单元实现一个简单的UML解析器，并做一些有效性检查。 HW1 第一次作业是类图解析器，其中可能导致较高复杂度的方法是查找实现的接口，对每个接口和类预处理可以做到$O(n^2)$或$O(n)$。 这 阅读全文
摘要：
OO-Blogs Unit3 单元简介 通过实现官方提供的JML规格，实现了一个对社交关系的模拟。 官方包已经提供了每个类每个方法的JML规格，因此无需做全局性的架构设计，只要着眼于方法的实现即可。因此，由于很多方法的内容十分简单(如get,set等)，本文只选择一些稍具规模的方法说明。 HW1 由 阅读全文
摘要：
OO-Blogs Unit2 单元简介 本单元通过迭代开发，最终实现了多种类多电梯（可换乘）调度管理。 HW1 要求 单电梯，有载客量限制，调度无要求但性能不应低于ALS调度。 思路和实现 这次的需求不算复杂，只需要一个输入线程和一个电梯线程即可实现。为了扩展性，我在输入线程和电梯线程中间插了一个调 阅读全文
摘要：
OO-Blogs Unit1 单元简介 这一单元通过迭代开发，实现了基本的表达式求导(包括$sin$,\(cos\),乘方)，并能检测格式的正确性。 HW1 要求 实现一个只包含+,-,*,^的求导计算器，保证输入合法。 思路和实现 程序执行过程分为三部分：解析->求导->输出 由于这一次作业的需求 阅读全文