摘要：
关于怎么用那些工具 下载说明， （1）openjml+solver的zip：http://www.openjml.org/ （2） jmlunitng：http://insttech.secretninjaformalmethods.org/software/jmlunitng/ 点击里面那个 1. 阅读全文
摘要：
第三单元博客总结 这一单元，主要是进行的JML的使用，以及考察了对于容器，对于算法选择时候的时间复杂度的控制。 JML的理论基础和相关工具 JML的核心就是规格和规范，当我们作为设计者想要向开发表达出让他们做什么的时候，我们往往需要用注释的方式来进行表述，比如某个类应该有什么变量，干什么，再比如某个 阅读全文