摘要：
BUAA_OO_博客作业四 1 第四单元两次作业的架构设计 1.1 第13次作业 类图 作业要求：通过实现 这个官方提供的接口，来实现自己的 解析器。 作业分析与架构设计：在阅读完接口源代码的架构之后，我发现需要注意的就是 这个类，它属于一个顶层类，一共有9个孩子，分别是 、`UmlAsso 阅读全文
摘要：
1 JML语言总结 1.1 JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方 阅读全文
摘要：
1.作业设计策略 1.1第一次作业 第一次作业指导书要求是一个单部多线程傻瓜调度（FAFS）电梯的模拟，由于为了可扩展性和模块化设计，第一次作业我采用了三线程，即输入处理线程，调度器线程，电梯线程这三个线程进行通信工作，当然，实际上调度器线程仅仅做了把输入的请求进行转交给电梯线程这一个工作。输入 阅读全文
摘要：
BUAA_OO_博客作业一 （一）程序结构分析 1.代码统计 第一次作业 第二次作业 第三次作业 代码复杂度展示第三次作业的 | method | ev(G) | iv(G) | v(G) | | | | | | | Constant.Constant(BigInteger) | 1.0 | 1.0 阅读全文