摘要: ###一、本单元架构设计 由于各次作业的迭代设计,以第三次作业最终版为例来解释架构。 MyClass 这个类中含有类图元素umlClass;这个类所包含的元素attributes、包含的操作operations、所实现的接口interfaces、与其相应的关联associations、与其关联的对端 阅读全文
posted @ 2021-06-26 17:48 果冻狂魔 阅读(39) 评论(0) 推荐(0) 编辑
摘要: ###一、实现规格所采取的设计策略 1.浏览public instance model non_null 通过浏览这这些instance,对整个类的属性进行了一定的了解,心里对需要对那些数据进行存储有个大概了解,知晓整个类是对哪些属性进行操作。 2.阅读函数内容 阅读每个函数的JML代码,通过其前置 阅读全文
posted @ 2021-05-30 21:22 果冻狂魔 阅读(51) 评论(1) 推荐(0) 编辑
摘要: ###一、同步块的设置与锁的选择 本单元是基于电梯模型来理解多线程这一概念。在三次作业中,都采取了生产者消费者模型。因此,整个程序的关键在于读取请求、分配请求以及执行请求。基于此出发,我建立了两个基本类: Request 此类基于官方标准输入包,进行了修改,即包含一些基本信息,也实现了一些独特的方法 阅读全文
posted @ 2021-04-25 20:31 果冻狂魔 阅读(68) 评论(1) 推荐(0) 编辑
摘要: ##面向对象第一单元总结 ###一、程序结构分析 第一次作业 第一次作业的要求为完成简单多项式的导函数求解,项包括变量因子和常数因子,其中变量因子只有幂函数,因此我只建造了三个类,分别为MainClass,Term和Expression。 其中MainClass类主要是控制输入字符串来生成Expre 阅读全文
posted @ 2021-03-28 16:21 果冻狂魔 阅读(68) 评论(0) 推荐(0) 编辑