摘要：
一、本单元两次作业的架构设计 1、第一次作业 整体思路：以class为核心，建立MyInterface、MyAttribute、MyOperation、MyAssociation四个类分别储存每个类的接口、属性、方法、关联的信息，并提供相应的获得基础信息的方法。 架构设计：在MyUmlInterac 阅读全文
摘要：
一、JML理论基础及应用工具链情况 理论基础 1.JML表达式 \result：表示方法执行后的返回值。 \old(expr)：表示一个表达式expr在相应方法执行前的取值。 \foall：全称量词修饰的表达式。 \exists：存在量词修饰的表达式。 <==>：等价关系操作符。 ==>：推理操作符 阅读全文
摘要：
前言 转眼已是第九周，第二单元的电梯系列作业已经结束，终于体验了一番多线程电梯之旅。 第一次作业是单电梯的傻瓜调度，虽然是第一次写多线程，但在课程PPT的指引下，写起来还是非常容易；第二次作业是单电梯的捎带调度，并加入了负层电梯，写起来也相对容易，不过在写捎带策略时容易出很多BUG；第三次作业是多电 阅读全文
摘要：
前言 第一单元的主题是表达式求导，第一次作业是只带有常数和幂函数的求导，第二次作业加入了正余弦函数，第三次作业又加入了表达式嵌套，难度逐渐提升。总体来说前两次作业还易于应对，而第三次作业做得相对有些艰难。而且这其中还有很多巧合，第二次作业延时到了周三上午，而我在周二晚睡觉前经过本地测试又找到一处致命 阅读全文