05 2020 档案

摘要:OO第三单元JML总结 一、JML理论基础与应用工具链 1、JML理论基础 JML是JAVA Modeling Language的简称,主要用于对java程序进行规格化设计,是一种基于Larch方法构建的行为接口规格语言。 JML的优点在于它的精准性与可读性。在设计规格时,如果使用自然语言,那么很有 阅读全文
posted @ 2020-05-23 19:20 陆开翔 阅读(198) 评论(0) 推荐(0)