05 2020 档案

OO第三单元总结
摘要：OO第三单元总结 一、JML理论基础与工具链 1.JML简介 JML，即Java Modeling Language，是一种对Java程序进行 规格化设计 的表示语言。其用处主要有：1.开发时做出规格化设计，以便代码编写者实现；2.方便根据规格化描述开展对应的测试；3.针对已经实现的代码，编写对应规 阅读全文
posted @ 2020-05-23 02:14 xcw1010 阅读(120) 评论(0) 推荐(0) 编辑