2020年4月17日
OO第二单元的总结
只有注册用户登录后才能阅读该文。 阅读全文
posted @ 2020-04-17 18:45 无名咸鱼 阅读(9) 评论(0) 推荐(0)
2019年6月24日
oo第四单元总结
摘要： 一、三次作业的架构设计 本单元的三次作业是对UML模型文件解析，主要是对类图、顺序图和状态图层次等状态的查询以及对UML模型间关系、图之间的关系和一致性的检查等。 第一次作业的主要是完成对UML图的各种属性查询。我的思路是对于类的关系进行建立一个类，然后对于新增添的类图通过一个更新的类来更新当前状态 阅读全文
posted @ 2019-06-24 13:20 无名咸鱼 阅读(159) 评论(0) 推荐(0)
2019年5月22日
OO第三单元作业总结
摘要： 一、JML的理论基础应用工具链 JML是用于对Java程序进行规格化设计的一种表示语言。基于Larch方法构建。 (1)注释 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annotation ，块注释的方式为/* @ ann 阅读全文
posted @ 2019-05-22 18:03 无名咸鱼 阅读(176) 评论(0) 推荐(0)