摘要：一、JML（Java Modeling Language）简介 ​ 在最初接触JML过程中，给我的感觉便是代码的形式化表述，我们只需要对照着JML照搬代码即可，但后来发现好像并不是这样，就JML官网的解释来看，The Java Modeling Language (JML) is a behavio 阅读全文