2019年5月22日
面向对象第三单元总结
摘要： 一、JML语言理论基础、应用工具链 （1）语言基础 JML的全程为Java Modeling Language，是一种用于规范java模块的行为接口规范语言。JML基本语法在JML level 0 手册中有比较详细的叙述 主要结构有： JML表达式 ·原子表达式 ·量化表达式 ·集合表达式 ·操作符 阅读全文
posted @ 2019-05-22 16:11 hunry6 阅读(164) 评论(1) 推荐(0) 编辑