犀利的高坚果

摘要： 1.第四单元作业架构设计 1.1第一次作业 第一次作业由于时间关系（没错又是因为拖延到周六才开始写作业）没有建图，而是通过将每一个uml的属性分类存入不同的容器来保存和调用他们。每一个查询操作都取遍历该操作对应属性的容器，程序的效率不高，但实现起来难度也很小。 1.2第二次作业 由于第一次作业没有建 阅读全文

摘要： OO第三单元JML规格总结 1.JML理论基础和JML工具链 1.1JML理论基础 JML简介 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification La 阅读全文

摘要： 前言 第二单元的作业主题是多线程电梯作业，在这个单元我们主要学习java程序的多线程编写，学会了如何创建线程，以及多线程之间的交互方法——生产者消费者模式还有在此基础上扩展的Worker-Thread模式和在这些模式中，wait，sleep，notifyall等方法的使用。在多线程交互的过程中，共享 阅读全文

摘要： 前言 第一单元的作业主题是多项式求导，从第一次最简单的幂函数求导，到第二次幂函数和三角函数的求导，再到最后一次幂函数加三角函数的嵌套式求导，不论是分析难度还是代码量都是不断递增的。而最后一次的作业，也因为我的不重视导致自己连中测都没有通过，虽然最后又通过了一周的时间补写了第三次作业并通过了强测，但整 阅读全文