05 2020 档案

OO第三单元总结
摘要：OO第三单元总结 一、 梳理JML语言的理论基础、应用工具链情况 1、JML语言的理论基础 JML语言确实是个好东西，JML是一种规格化的语言，JML采用了一种信任机制，通过JML语言，实现者信赖使用者一定是按照规格规定的条件来使用的，而使用者则确信方法实现了自己想要的功能而不会出现其它改变。无论是 阅读全文
posted @ 2020-05-23 20:48 RiverTan 阅读(176) 评论(0) 推荐(0)