Cats_on_Mars

摘要： 1.第四单元总结 第四单元共有两次作业，第十三次作业是实现一个UML类图解析器，可以通过输入各种指令来进行类图有关信息的查询；第十四次作业是在第十三次作业的基础上，扩展解析器，使得能够支持对UML顺序图和UML状态图的解析，并能够支持几个基本规则的验证。 1.1第十三次作业架构设计 第十三次作业类图 阅读全文

摘要： 1. JML JML是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，基于Larch方法构建。BISL提供了对方法和类型的规格定义手段。 一般而言，JML有两种主要的用法：（1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的 阅读全文

摘要： 0.总述 第二单元的任务是多线程电梯的调度，旨在完成多线程的并发控制以及之间的协作。三次作业依然是由易入繁： 第五次作业：单电梯，无捎带。 第六次作业：单电梯，需捎带。 第七次作业：多电梯，电梯之间需要协作。 在写这个单元的作业时，我吸取了上一个单元的教训，仔细思考了程序的结构，使得代码易于扩充，避 阅读全文

摘要： 第一单元的作业是对表达式进行求导，一共有三次作业。作业要求的不同点在于： 第一次作业表达式中只有幂函数和有符号整数。 第二次作业增加了三角函数，但不能嵌套。 第三次作业三角函数内可以嵌套其他因子。 三次作业从关系上来看是一脉相承、由简入繁，但由于我是第一次使用面向对象语言的缘故，我三次作业的代码并不是依次累加，而是每一次都几乎重写了代码，以下是我对三次作业以及从作业中学习到的东西的总结。 第一... 阅读全文