2019年5月22日
OO第三单元总结（规格设计）
摘要： OO第三单元总结 一、关于JML Java Modeling Language,即JML是一种规格化表示语言，主要用于对Java程序的各种方法功能的规范描述。这样做既可以给程序设计人员明确清晰的功能要求，又可以充分全面地验证已有的代码实现保证其满足规格描述的要求。 1、语法梳理 JML的语法清晰直观 阅读全文
posted @ 2019-05-22 20:31 Socrates1232 阅读(106) 评论(0) 推荐(0) 编辑