摘要: BUAAOO 第四单元总结 经过一轮又一轮OO的洗礼,终于迎来了最终完结撒花的时刻。此时此刻,一边打字,一边心里还是有些小激动的(此处应有表情包♪(^∇^*))。 最后一单元是关于UML类图的,两次作业(包括这次博客...)都在我的烤漆之中,可以说是在枪林弹雨中杀出一条血路(ง •_•)ง。不过最终 阅读全文
posted @ 2019-06-22 23:51 ydch_001 阅读(155) 评论(0) 推荐(0) 编辑
摘要: BUAAOO 第三单元总结 一. JML语言理论基础及应用工具链情况 (一) JML理论基础 1. 注释结构 行注释的表示方式://@annotation 块注释的方式: /* @ annotation @*/ 行注释的表示方式://@annotation 块注释的方式: /* @ annotati 阅读全文
posted @ 2019-05-22 10:15 ydch_001 阅读(185) 评论(0) 推荐(0) 编辑
摘要: BUAAOO 第二单元作业总结 单元综述 单元总共为三次作业,难度递增。 第一次:完成的任务为单部多线程傻瓜调度(FAFS)电梯的模拟。 第二次:需要完成的任务为单部多线程可捎带调度(ALS)电梯的模拟。 第三次:需要完成的任务为多部多线程智能(SS)调度电梯的模拟。 第一次:完成的任务为单部多线程 阅读全文
posted @ 2019-04-22 22:32 ydch_001 阅读(250) 评论(0) 推荐(0) 编辑
摘要: BUAAOO 第一单元作业总结 单元综述 单元总共为三次作业,难度递增。 第一次:简单多项式导函数的求解。 第二次:包含简单幂函数和简单正余弦函数的导函数的求解。 第三次:包含简单幂函数和简单正余弦函数的导函数的求解,加入了表达式因子。 第一次:简单多项式导函数的求解。 第二次:包含简单幂函数和简单 阅读全文
posted @ 2019-03-27 11:30 ydch_001 阅读(219) 评论(0) 推荐(0) 编辑