2020年5月23日
OO第三单元——JML之破分大法
摘要： 一．Jml总结及应用工具链 总的来说，jml就是对java程序进行规格化设计的一种表示语言，其中最核心的就是规格化，将代码要实现的功能和各项要求与约束不是通过自然语言，而是通过严密的逻辑语言来表达，这样让代码实现人员看的更加简洁明了，更极大地提高了代码的可维护性。 Jml这一大内容主要分为4个板块， 阅读全文
posted @ 2020-05-23 12:24 B-two-W 阅读(215) 评论(0) 推荐(0)