摘要： uml 1.两次作业的架构设计 第二次作业包含了第一次作业，我采取的是直接继承。 第二次作业架构： 复杂度： 大概来说，就是分了三个图：类图、顺序图、状态图，每个图的类关联了它所需要用的图的元素。此外将其中的一些元素重写一些方法和属性，比如myclass存了它的op的引用，myop存了paramet 阅读全文

摘要： 1.JML语言的理论基础和应用工具链情况 1）概述 JML是一种行为接口规范语言，其体现的是一种契约方法设计，也即在声明方法的时候，对输入和输出进行了一些规定，而从形式上jml是以javadoc注释的方式来写的，也即在注释块中每行的开头都是@。 2）结构 一段完整的JML，往往有如下几个结构requ 阅读全文

摘要： 一.前言：上次作业，我没想到我苦思冥想写了好久最后出来只写了这么短，显得很敷衍，但了解我的人都知道，我确实表达能力有限，所以上次就严格按照要求的提纲一条一条的分析了，希望助教大大看到不要怪罪，我真的认真写了Orz。上次作业不知道是哪位仁兄评论说代码构造分析的很好，很详细，我很感动，不过他也提出来了一 阅读全文

摘要： （1）基于度量来分析自己的程序结构 第一次：Poly：属性 AL<Term>方法 check（格式检查） Poly（构造） merge（合并） compute（求导） Term：属性 coeff exp方法 Term（构造） get/set Poly格式检查，Poly用正则分割出Term，Term解 阅读全文