2020年5月21日
OO Unit 3 Summary
摘要： JML理论基础与工具链 JML是基于java的规格设计语言，架构设计者将类中数据、方法想要达到的目的通过形式化的语言加以叙述，实现者根据无二义性的形式语言完成算法实现，实现方法与规格叙述可以完全不同，只需满足所需结果即可。JML的核心即在于“抽象”，不同于具体化的java代码实现。 JML有两种主要 阅读全文
posted @ 2020-05-21 21:52 -Limbo- 阅读(191) 评论(0) 推荐(0) 编辑