摘要: 一,第四单元架构设计 第一次作业:只有类图 1,重置MyClass,MyOperation等类,为使里面只有必要数据(name,id,visibility等)、或方便组织数据(如MyClass作为其底下所有operation、attribute等数据的管理容器) 2,MyUmlInteraction 阅读全文
posted @ 2019-06-24 21:59 Cooperh 阅读(337) 评论(1) 推荐(0) 编辑
摘要: 一,JML语言 1)JML理论基础:JML是一类语言,用来描述一个方法或一个类的功能、以及这个类在实现这个功能时需要的条件、可能改变的全局变量、以及由于条件问题不能实现功能时这个方法或类的行为,具有明了、描述清晰的特点 最主要的词语有: require:描述达到功能所需要的条件 ensures:描述 阅读全文
posted @ 2019-05-22 21:48 Cooperh 阅读(242) 评论(1) 推荐(0) 编辑
摘要: (一)三次作业的要求: 作业一:傻瓜电梯,每次请求队列中的第一个,甚至不需要多线程 作业二:捎带电梯,如果在前往某一层的路途中有可以捎带的人,捎带 作业三:三部电梯,每部电梯能停靠的楼层不同,所以可能需要将人放在某一层换电梯 (二)我的大致架构: 作业一:一个线程“A”随时随地读入请求,另一个线程“ 阅读全文
posted @ 2019-04-24 17:47 Cooperh 阅读(132) 评论(0) 推荐(0) 编辑
摘要: (一)第一单元的作业围绕着多项式的求导,从简单到复杂,主要的要求是 作业一:只有两种格式的因子:带符号整数(+02)和幂函数(x^+02)。 作业二:在作业一的基础上添加了:sin(x)和cos(x)以及首项的第一个因子为+1或-1可以省略“1” 作业三:在作业二的基础上增加了 “表达式因子”的概念 阅读全文
posted @ 2019-03-27 21:52 Cooperh 阅读(163) 评论(1) 推荐(0) 编辑