摘要：BUAA OO Unit4——UML解析 & 课程总结 本单元为解析UML文件，而UML在之前的单元一直是作为一个画图的文件，但其若是一个语言，自然有属于自己的语法，自己的范式，本单元就是从UML语言出发，结合其规范，对UML进行解析，本质就是解析文本文件提取需要的信息 Unit4 架构设计 ~~这 阅读全文

摘要：第三单元总结--基于JML规格的社交系统 初识JML语言 JML (Java Modeling Language)，Java 建模语言，个人感觉，它的出现可以用类似数学语言的形式，明确所需的要求(即规格)，因此JML的重要作用就在于消除自然语言的二义性。它利用前置条件，后值条件、副作用范围限定来对一 阅读全文