摘要：
OO第四单元暨学期总结——UML 一、第四单元设计架构 这个单元除了要学习一些UML的知识外，基本和第一单元的作业比较像，算是一个比较朴素的面向对象的项目了。这个单元的代码量不小，但事实上我们所做的只是对UML解析的一小部分，大部分的工作和规范还是课程组帮我们完成了。 第一次作业 这次作业专注于UM 阅读全文
摘要：
一、JML简单引导 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 规范的JML语言描述了正确的Java程序的功能性要求，但如何实现，以及实现的性能如何就交给了程序猿（卑微的我们）自己了。 理论基础 JML以javadoc注释的方式来表示规格 阅读全文
摘要：
第一次作业 据不可信消息，听说往届电梯系列第二次作业直接成为了我们的第一次作业。。。其实第一次也不太难，主要是自己还没为多线程的到来做好准备。 周二晚上发布的作业，当天（大概）看了一些廖雪峰老师的教程，周三看了一点《图解Java多线程设计模式》（不得不说这真是本好书，对我这样基础薄弱的菜鸡还是比较友 阅读全文
摘要：
开学前十天做了两弹pre（占分啊啊啊），基本熟悉了一下java的语法，没有对象的我就这么开始了面向对象。 第一次作业 这次作业只需要处理幂函数多项式的表达式，写的非常面向过程（从如下度量分析图中也可以看出，尤其Polynomial过于臃肿。。。），教程中给的形式化表述层次性、表达性非常好，便从常数到 阅读全文