摘要：
OO终章 本单元两次作业架构设计 本单元处理的是UML的解析任务，需要对类图，顺序图和状态图进行相应的查询和统计，并对一致性进行检验。 在两次作业中，我保持了同样的架构设计，并未进行重构处理，下面描述一下我的结构核心思想。 本质上，我们需要对相应接口的方法进行实现，因此将整体架构分为两部分：构造并填 阅读全文
摘要：
OO第三单元总结性博客 JML理论基础与工具链 JML理论基础 JML是一种将java程序规格化表达的一种语言，其描述的是行为的规格，而非具体的代码实现。 通过对程序开展规格化设计，当然前提是使用JML这种规范化的语言，可以使得代码具有严谨的逻辑，因为代码的实现一定按照规格去实现，而规格是逻辑严谨的 阅读全文
摘要：
一、三次作业的设计总结 第二单元的作业基于电梯的调度，分别为傻瓜电梯，单部可捎带电梯，多部电梯的运行和调度问题，沿袭第一单元求导作业的传统，难度仍然是依次递增，考研设计架构的清晰程度，以及模块化的编程思想。下面分别对三次作业的多线程协同和同步控制方面，对三次作业设计策略进行总结。 第一次作业实现的是 阅读全文
摘要：
经过三次OO作业的练习，积累了一些知识，也总结了一些经验。三次作业是递进式的求导编程练习，从第一次作业单一的幂函数求导，到第二次作业加上三角函数求导，再到第三次作业复合函数嵌套以及表达式因子综合的求导练习，思维难度不断加大。 一、基于度量来分析自己的程序结构 第一次作业 第一次作业要求对简单的幂函数 阅读全文