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