2019年5月22日
OO第三单元作业总结
摘要： OO第三单元作业总结 一、JML语言理论基础以及应用工具链情况梳理 JML是一种为Java量身定做的形式化的行为接口规范语言(BISL),用来规范Java程序模块(如类和接口)的行为及详细设计决策。它沿袭了BISL良好定义的形式语义,同时也继承了DBC语言较强的执行能力。一言以蔽之，JML就是再JA 阅读全文
posted @ 2019-05-22 21:51 不是小胖 阅读(161) 评论(0) 推荐(0) 编辑