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