2019年5月22日
OO第三次博客
摘要： 目录 一.JML基础 二.部署JMLUnitNG/JMLUnit并应用 三.梳理架构及Bug分析 四.心得体会 一.JML基础 1.JML是什么？ ​ JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言 2.JML用法 ​ （1）开展规格化设计。这 阅读全文
posted @ 2019-05-22 15:03 _nostalgia 阅读(153) 评论(0) 推荐(0)