06 2022 档案

摘要：单元任务 临近期末，本单元任务数量比起之前少了一些，共分为三个阶段。 第一个阶段是实现一个UML类图解析器UmlInteraction，可以通过输入各种指令来进行类图有关信息的查询；第二个阶段是扩展类图解析器，使得可以支持对UML状态图和顺序图的解析，第三阶段是对uml的一些错误进行处理，并可以通过 阅读全文

摘要：一、JML简介 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为。我们知道，面向对象分析和设计的原则之一就是应当尽可能地把过程设想往后推，把精力集中于整体架构的设计，协调管理各个单元部件的运转，而不拘泥于某些琐碎细节实现当中。 因此，在设计层面，我们对于每一个类以及方法 阅读全文