OO第三单元总结——JML规格_weixin_30379973的博客

一、JML简介

1.JML语言的理论基础

• JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Larch方法构建。BISL提供了对方法和类型的规格定义手段。JML(Java M