2019年5月21日
JML规格编程——BUAA OO第三单元作业总结
摘要： 整体概述 这个单元整体围绕Java Model Language(JML)展开，通过学习JML规格了解契约式编程的过程，课上实验中进行了JML规格的简要编写，课下实验主要通过阅读规格并按照规格的要求正确编写程序实现相应的接口。 JML入门 JML作为一种建模语言，主要的功能就是通过逻辑推演的方式对程 阅读全文
posted @ 2019-05-21 16:00 Flymin 阅读(268) 评论(0) 推荐(0) 编辑