zzx2017

摘要： 一、梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 jml原子表达式： \result:表示方法的返回值 \old(expr):表示expr在执行方法前的值 \not_assigned(x,y,... 阅读全文