2020年5月22日
OO第三单元JML总结
摘要： 第三单元JML总结 JML语言的理论基础 JML语言是对java程序进行规格化设计的一种表示语言，通过对方法的输入和输出的结果进行规格化的描述以此规定方法的功能和要求；JML语言有一套完整的语法体系，能够比较好的展示方法之间的关系，以及对方法输入和输出的描述，通常JML语言用于定义接口中的方法的实现 阅读全文
posted @ 2020-05-22 16:59 LWHUAGANG 阅读(215) 评论(0) 推荐(0) 编辑