摘要： JML语言的理论基础 前言 jml语言是对于Java程序进行规格化设计的一种表示语言，主要有两种用法： 1）开展规格化设计，使得程序员在实现过程中对目的没有二义性。 2）针对已有的实现代码来书写规格可以提高代码可维护性。 常用&核心要素 JML注释方式有两种：行注释和块注释。每行均以@开头，其中行注 阅读全文