2020年5月23日
BUAAOO Unit3 JML形式化方法
摘要： JML（Java modeling language）是一种利用形式化描述对数据、方法进行约束的语言，包含数据规格、方法规格、迭代器规格。通过JML的形式化描述，建立功能、开发者、程序之间的契约，可以对程序扩展时的稳定性、测试时的全面性产生较大的提高。 阅读全文
posted @ 2020-05-23 21:59 hu_jin 阅读(293) 评论(1) 推荐(0) 编辑