Unit 3 Summary
摘要：
Unit 3 Summary by 刘登元 [toc] JML JML语言理论基础 JML是一种用于描述设计规格的程式化语言，能够使得提出功能要求一方和程序开发一方能够无二义性地交流。此外，借助一些工具，还可以验证开发的功能是否符合了JML规格，从出发点来看，JML的用途是十分广泛的。 整体类似于离 阅读全文
posted @ 2020-05-23 16:13 Stitch11752 阅读(216) 评论(0) 推荐(0) 编辑
