2020年5月23日
OO第三单元作业总结
摘要： 梳理JML语言的理论基础、应用工具链情况 JML语言是一种用于对Java程序进行规格化设计的表示语言，JML主要用于开展规格化设计、提高代码的可维护性。 在开展规格化设计方面：给出某类、某函数的规格，就相当于在使用者和程序员中签订了一个协议，使用者知道某函数的功能、需要满足的条件，程序员在满足调用条 阅读全文
posted @ 2020-05-23 17:51 jlysll 阅读(118) 评论(0) 推荐(0)