摘要:
一. 本单元两次作业的架构设计 终于在最后一个单元实现了增量式开发。在本单元第一次作业中,我便构建了图数据结构,第二次作业变得比较简单,无需重构,只是增加状态图和顺序图即可,下面分析第二次作业的架构设计。 1. 顶级类 MyUmlGeneralInteraction 负责将输入归类,形成3个子Uml 阅读全文
摘要:
一. JML语言 1. 理论基础 首先,JML不是JAVA的一部分,它是一群研究者为JAVA设计的扩展部分,但还没有得到官方的支持。因此,JAVA编译器并不支持JML,所以要想JML起作用,只能采用类似openJML这样的第三方来编译,将JML 规格编译为运行时检查的语句,即RAC code(run 阅读全文
摘要:
一. 设计策略 1. 架构设计 三个线程:电梯,调度器,主线程(输入线程), 采用worker thread,生产者消费者模式。和同学讨论,发现有的观点认为:调度器更像是一个功能的集合,类似一个函数,不像是一个主体,而且线程越少bug一般而言越少,于是调度器不做为线程。也挺有道理。架构图如下: 其中 阅读全文
摘要:
一. 基于度量的程序结构分析 1. 第一次作业 这次作业是我上手的第一个java程序,使用了4个类来实现功能。多项式采用两个arraylist来存,系数和幂指数一一对应。 四个类分别为 Poly类,代表表达式; PolyDiff类,代表求导运算; PolyParse类,封装了格式检查,encodin 阅读全文
摘要:
该系列文章为本人python学习笔记 阅读全文