05 2020 档案

面向对象第三单元总结与心得体会
摘要：一、JML理论基础以及应用工具链 （一）什么是JML JML全称Java Modeling Language，是一种描述模块规格的语言。 相比于自然语言，JML更注重规格与规范，采用一套范式描述模块的功能，这样一来不容易产生歧义，有利于开发者之间的合作； 二来由于是规范化书写，我们可以通过某种方式让 阅读全文
posted @ 2020-05-23 21:38 zzy122530 阅读(196) 评论(1) 推荐(0)