只有注册用户登录后才能阅读该文。 阅读全文
摘要：
一、三次作业的架构设计 本单元的三次作业是对UML模型文件解析，主要是对类图、顺序图和状态图层次等状态的查询以及对UML模型间关系、图之间的关系和一致性的检查等。 第一次作业的主要是完成对UML图的各种属性查询。我的思路是对于类的关系进行建立一个类，然后对于新增添的类图通过一个更新的类来更新当前状态 阅读全文
摘要：
一、JML的理论基础应用工具链 JML是用于对Java程序进行规格化设计的一种表示语言。基于Larch方法构建。 (1)注释 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annotation ，块注释的方式为/* @ ann 阅读全文