摘要：一.本单元架构设计 本单元主要内容为实现对UML图的解析和预处理，三次作业分别是对UML类图的分析、UML状态图和顺序图的分析和对UML的规范性验证。 1.第一次作业 作业目标：实现对UML类图的分析 作业架构： 在对类中元素读取时，我根据类中元素之间的树形关系进行了三轮循环防止出现类中元素已经出现 阅读全文

摘要：[BUAA OO]第三单元总结 一.写在前面 在这一单元，我们主要对规格化设计重要的实现者、可以避免二义性的语言JML（Java Modeling Language）进行了一定的了解，体会到了一些规格化设计的思想。三次作业以提高对JML的阅读能力和对于算法复杂度的把控为主要目标，以社交网络为主要载体 阅读全文