摘要：
一、本单元作业的架构设计 1.1 第十三次作业 第十三次作业实现了基于类图的UML模型解析，首先在构造方法中按照处理好的输入内容解析UML类图，考虑到输入元素的顺序可能颠倒，使用我分三批次处理输入中的不同元素。为此我新建了MyClass、MyInterface和MyOperation三个类，管理类、 阅读全文
摘要：
一、JML理论基础 1.1 JML的用法 JML是用于对Java程序进行规格化设计的一种表示语言。JML有两种主要的用法： （1）开展规格化设计。例如本单元的三次作业； （2）针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。例如本单元的课上实验。 1.2 JML的注释结构 1 行注释： 阅读全文
摘要：
自序 竹外桃落，茶甜鱼肥。人间四月，物物皆对象；世事浮沉，何处不线程？ 从新北区到大运村，从新主楼到沙河S7，电梯在我们的生活中可谓无处不在。谁人不曾在某个赖床的早八焦急等待电梯时口头或心中痛骂两句写电梯的程序员，然而直到这一单元的OO作业才知个中艰辛。在此跪谢之前乘坐过所有电梯的程序员不杀之恩。 阅读全文
摘要：
自序 庚子鼠年，阳春三月。江南草长，万物复苏。盼望着，盼望着，OO来了，春天的脚步近了。 素闻OO课程的难度和考核模式，虽然早有心理准备但在亲身经历时仍难免手忙脚乱。从pre到第一单元一路走来，特别是回首开学以来的三次作业和前前后后的心路历程，纵然“泪添九曲黄河溢，恨压三峰华岳低”，也算是跌跌撞撞地 阅读全文