2020年5月21日
第三单元总结
摘要： 一、 JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 对于JML，个人觉得JML相比于自然语言的优势在于，它更为严谨准确，避免了自然语言容易引起歧义的缺点。但同样，JML也有一些缺点。首先它的效率更低，相比于自然语言，表达同样 阅读全文
posted @ 2020-05-21 21:47 SSpLiT 阅读(209) 评论(0) 推荐(0)