2019年5月22日
OO 2019 第三单元博客作业
摘要： 1.JML语言的理论基础 & 应用工具链情况 JML概述 JML概述 Java建模语言（JML）是Java程序的规范语言，它使用Hoare风格的前后条件和不变量，遵循契约范式的设计。规范被写成源代码文件的Java注释注释，因此可以用任何Java编译器编译。JML是Java模块的行为接口规范语言。JM 阅读全文
posted @ 2019-05-22 16:10 Michael_张金源 阅读(140) 评论(0) 推荐(0) 编辑