摘要：Object-oriented_第四单元总结 本博客为面向对象课程第四单元的作业总结。 本单元致力于实现UML解析器，深入理解UML类图。 本单元作业架构设计 在本单元中，三次作业逐次迭代。我本单元作业主要思想是采取“分层”，将UML类图装化为不同层次的元素，逐一处理。 作业主要思想 以这作业整体为 阅读全文

摘要：Object-oriented_第三单元总结 本博客为面向对象课程第三单元的作业总结。 引言 第三单元的OO课程，致力于培养JML规格思想，达到根据规格进行开发、熟练理解JML的需求。在本单元中，实现JML规格的方式，是以开展规格化设计的形式，即通过具有严密逻辑的规格，而非模糊的自然语言描述来实现具 阅读全文