2022年6月3日
BUAA_2022_OO_Unit3 总结
摘要： BUAA_2022_OO_Unit3总结 一、任务概述 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为。 基于JML规格来实现程序，能够形式化验证程序的正确性，在检查各个模块时，也可以通过本模块的约束进行检查和验证。 第三单元的三次作业均为基于JML语言来设计java 阅读全文
posted @ 2022-06-03 16:04 qiaoqiaqiq 阅读(39) 评论(0) 推荐(0) 编辑