2020年5月19日
北航OO（2020）第三单元博客作业
摘要： 北航OO（2020）第三单元博客作业 [TOC] JML语言总结 理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，它使用JavaDoc注释的方式来表示规格。JML以Java语法为基础并进行了一定的扩充。JML的语法分为几个层次，下面对JML Level 0的核心特性进行简要的总结。 阅读全文
posted @ 2020-05-19 20:55 __ref 阅读(610) 评论(0) 推荐(1) 编辑