06 2021 档案

摘要:面向对象第四单元及课程总结 第四单元作业架构设计 本单元为UML模型解析,涉及UML类图、顺序图与状态图的解析、查询以及正确性检查。 本单元作业架构的核心即为构建UML模型的树状图关系。本人在本单元架构中为所有UML模型元素(UmlElement)构建了一个类,其基类为(Element),所有个人构 阅读全文
posted @ 2021-06-26 19:06 月下天弦 阅读(51) 评论(0) 推荐(0)
摘要:面向对象第三单元总结 设计策略 我们JML规格能够用一定格式的语法,严谨地将方法与类的属性与功能表示出来,所以规格本身不仅仅是要求,更是对方法与类的设计的线索与提示。 通过规格描述,我们可以大致了解到那些成员属性是需要修改的,方法可能需要怎样的数据结构;可以通过requires/ensures,我们 阅读全文
posted @ 2021-06-01 19:11 月下天弦 阅读(47) 评论(0) 推荐(0)