摘要：
一、第四单元作业架构分析： 三次作业的架构比较相似，在这里只列出第三次作业的部分构架图 图中的类是我自己构建的 第二次作业在第一次作业的基础上增加了对时序图和状态图的解析，我的解决办法仍然是对图的元素进行分类存储，之后再根据图的层次结构进行封装，完成相应请求功能。 第三次作业是在前两次的基础上，增加 阅读全文
摘要：
一、JML语言理论基础及工具链 1、JML语言理论基础 JML语言是对java程序进行规格化的一种形式化的语言，是使用者和开发者都要遵从的一种契约。JML有着自己一套完整的语法，形式化地表现类的规格和方法规格，只要正确实现了JML规定的规格，就可以保证了程序功能的正确性。 对于程序的设计和维护有着重 阅读全文
摘要：
一、程序分析： 1、本单元第一次作业： 在本次作业中主要采用了生产者-消费者模式，RequstProducer为生产者，功能为读取需求，并put到平台上。Waitlist类为平台，有着一个储存Person需求的列表。Waitlist里面实现的主要功能有三个，一个put方法，两个take方法。Elev 阅读全文
摘要：
1、基于基度来分析三次作业的程序结构 （1）第一次作业： 第一次作业是对包含幂函数和常数项的简单多项式的求导。 （2）第二次作业： 第二次作业在第一次作业的基础上增加了sin（x），cos（x）的三角函数项，还增加了乘法的组合。 （3）第三次作业： 第三次作业在前两次的基础上，增加嵌套组合方式，增加 阅读全文