摘要: OO第三单元作业总结 JML是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言,基于Larch方法构建。BISL提供了对方法和类型的规格定义手段。所谓接口即一个方法或类型外部可见的内容。JML为严格的程序设计提供了一套行之有效的方法。通过JML及其支持工具,我们可以基于规 阅读全文
posted @ 2019-05-22 21:54 cc17373432 阅读(151) 评论(1) 推荐(0) 编辑