摘要：面向对象第四单元及课程总结 第四单元作业架构设计 本单元为UML模型解析，涉及UML类图、顺序图与状态图的解析、查询以及正确性检查。 本单元作业架构的核心即为构建UML模型的树状图关系。本人在本单元架构中为所有UML模型元素（UmlElement）构建了一个类，其基类为（Element），所有个人构 阅读全文

摘要：面向对象第三单元总结 设计策略 我们JML规格能够用一定格式的语法，严谨地将方法与类的属性与功能表示出来，所以规格本身不仅仅是要求，更是对方法与类的设计的线索与提示。 通过规格描述，我们可以大致了解到那些成员属性是需要修改的，方法可能需要怎样的数据结构；可以通过requires/ensures，我们 阅读全文