Loading

2020年5月22日
OO_UNIT3_SUMMARY
摘要： 一、JML（Java Modeling Language）简介 ​ 在最初接触JML过程中，给我的感觉便是代码的形式化表述，我们只需要对照着JML照搬代码即可，但后来发现好像并不是这样，就JML官网的解释来看，The Java Modeling Language (JML) is a behavio 阅读全文
posted @ 2020-05-22 15:06 fatca 阅读(180) 评论(0) 推荐(0) 编辑