摘要：
架构设计 就不放类图了 莫得意思 我用自然语言来描述一下吧 直接讲第三次作业了 这样包括了所有的内容 ① 拿到输入之后进行各种初始化和构建工作 将各种UML元素按照type扔进各个ArrayLIst和HashMap。ArrayList用来遍历，HashMap用来查找。 然后我基本上把大部分UML元素 阅读全文
摘要：
1 JML概述 1.1 JML语言理论基础梳理 先上一张思维导图，这是JML level 0下主要的语法 由于JML手册中已经给出了详尽的规范，所以此处只叙述一下个人的理解： 一般而言看JML可以先看他的类型规格，尤其是所属的类有什么成员变量（容器不需要严格实现，但是成员的分布需要了解），不变式或者 阅读全文
摘要：
（1）多线程协作与同步： 首先考虑电梯每一个运行周期需要的内容： 关于请求分配： 第一步获取当前楼层需要上楼的乘客的时候会遇到作业设计的第一个难题，就是乘客的分配问题，我采取的是不基于电梯当前运行状态的动态分配，即调度器中的请求队列被放入请求时不进行任何分配，仅在电梯访问每一楼层时再考虑分配。对于这 阅读全文
摘要：
（一）基于度量的程序结构分析 先上前两次作业的类图和复杂度分析 第一二次作业结构均比较简单，我的设计最小颗粒度也都是Term，所以DIT均为0 缺点：我的解析字符串部分复杂度都相当高，主要是算法设计不够优化。 主要是对第三次作作业进行分析 优点：实现了Expression、Term和Factor三级 阅读全文