OO第三单元总结

OO第三单元总结 JML理论基础 JML是用于对Java程序进行规格化设计的a56爆大奖在线娱乐a56爆大奖在线娱乐语言，是a56爆大奖在线娱乐行为接口规格语言(Behavior Interface Specification Language，BISL),基于Larch方法构建。JML以javadoc注释的方式来a56爆大奖在线娱乐规格，每行都以@起头。而JM
posted @ 2020-05-20 00:14  p_wk  阅读(205)  评论(0)  编辑  收藏  举报