摘要: 第四单元博客作业 1. 总结本单元两次作业的架构设计 第十三次作业 第一次UML作业的主要任务是实现一个UML类图解析器,可通过输入各种指令来进行类图有关信息的查询。在这次作业之前,我对UML类图中各种元素类型代表的含义以及不同类型之间的联系也不是很清楚,通过自己画图然后解析的方式加深理解之后,开始 阅读全文
posted @ 2019-06-23 11:59 bwt 阅读(161) 评论(0) 推荐(0) 编辑
摘要: 2019北航OO第三单元 一、 梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规格语言,基于Larch方法构建,BISL提供了对方法和类型的规格定义手段,所谓接口即一个方法或类型外部可见的内内筒。通过在JAVA代码中增加一些符号,并用这些符号来标识一个方法是干什么的,却并不关心它的实 阅读全文
posted @ 2019-05-22 20:40 bwt 阅读(134) 评论(0) 推荐(0) 编辑
摘要: 2019北航OO第二单元 1. 第一次作业 1.1实现思路 第一次作业需要完成的任务为单部多线程傻瓜调度电梯的模拟。总体来说傻瓜电梯调度坑点不多。采用了生产者消费者模型,输入为生产者,电梯为消费者。把输入作为一个线程,电梯作为一个线程,共享调度器资源(也就是请求队列),其中对电梯上下,开关门的操作是 阅读全文
posted @ 2019-04-23 19:09 bwt 阅读(109) 评论(0) 推荐(0) 编辑
摘要: 2019北航OO第一单元(表达式求导)总结 1. 第一次作业 1.1实现思路 第一次作业需要完成的任务为简单多项式的求导。首先对输入的整个表达式进行了格式判断,如果是非法输入,直接输出WF,否则去除空格然后一项一项读入并求导,将求导结果保存到arraylist中,进行合并同类项,输出。输出中可以进行 阅读全文
posted @ 2019-03-26 23:24 bwt 阅读(109) 评论(0) 推荐(0) 编辑