晓晓晓晓

摘要： OO第三单元——JML总结 一、JML语法总结 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计和 Larch 系列接口规范语言的基于模型的规范方法 ，以及细化演算的一些元素 。 契约设计和JML（由Gary T. Leavens和 阅读全文

摘要： OO第二单元总结 第5次作业 题目 本次作业要求实现一个多线程可捎带的单部电梯。 设计思路 由于课程组给出了输入输出接口，我们不需要考虑错误输入的处理，极大地简化了程序的结构，让我们能够专注于设计与进程安全。由于这次作业只有单部电梯，简单的生产者消费者设计模式就能够解决问题。 UML类图 从uml类 阅读全文

摘要： OO Unit1 总结 题目描述——多项式求导 1. 形如3\ x x\ \ 2+x 1,仅包含幂函数及常数项。组合规则为+，单次\ ，\ \ 。 2. 形如sin(x)\ cos(x)\ x\ \ 04\ 6+8,包含三角函数，幂函数，常数项。组合规则为+，\ ，\ \ 。 3. 形如sin(x) 阅读全文