06 2022 档案

BUAA_OO第四单元&&课程总结
摘要：OO第四单元总结&&课程总结 摘要 本单元三次作业不断迭代，最终实现一个扩展 UML 解析器，使其支持对 UML 类图、状态图和顺序图的分析，可以通过输入相应的指令来进行相关查询，并能根据 UML 规则进行一定的规范性验证。 本单元作业的架构设计 第一次作业 根据UML图的依赖层次，读取时将类元素分 阅读全文
posted @ 2022-06-28 23:15 BruceHimself 阅读(19) 评论(0) 推荐(0) 编辑
OO 第三单元总结
摘要：OO 第三单元总结 摘要 本单元主要根据课程组提供的接口中的JML规格，实现自己的方法。 JML（JAVA Modeling Language）是一种形式化的、面向JAVA的行为接口规格语言，起初会比较陌生，但是仔细学习JML手册后可以发现其描述的逻辑和大一下学习的离散一中的逻辑基本一致，在熟悉后还 阅读全文
posted @ 2022-06-05 20:30 BruceHimself 阅读(45) 评论(1) 推荐(0) 编辑