摘要：一.总结本单元两次作业的架构设计 1.第13次作业 本次作业要实现对uml类图的解析查询，由于没有确定的模型输入顺序，所以我进行了多次循环，首先将class和interface这些主干存起来，然后再加入方法、属性、参数等。本次作业的难度主要在对uml类图语句的理解，搞清楚每一个结构之间是怎么通过id 阅读全文
OO第三单元总结
2019-05-21 21:23 by ilatei, 172 阅读, 0 推荐, 收藏, 编辑
摘要：1、JML语言的理论基础和工具链 JML(Java Modeling Language)是一种行为接口规范语言。这类的规范通常被称作面向模型，既规定了方法或抽象数据类型的接口，也规定了它们的行为。 SMT solver：使用SMT solver工具可以静态分析代码，检查代码对规格的满足情况 JMLU 阅读全文
OO第一单元总结
2019-03-26 16:14 by ilatei, 143 阅读, 0 推荐, 收藏, 编辑
摘要：一、基于度量来分析自己的程序结构 第一次作业 第一次作业的思路很简单，在读入后使用正则表达式判断输入是否合法，并进行简化，之后使用group方法提取出每一项进行处理后加入Arraylist中，最后合并输出即可。 第二次作业 第二次作业加入了三角函数，由于第一次作业思路偏向于面向过程的设计思路，所以第 阅读全文