2019年5月22日
OO第三单元JML规格总结分析
摘要： OO 第三单元博客作业 1. JML语言概述 1.1 理论基础 综述 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，使人们用一种全新的方式来看待Java的类和方法。JML是一种用于Java模块的行为接口规格语言 。JML提供了用于正式描述Jav 阅读全文
posted @ 2019-05-22 17:14 CalvinL 阅读(428) 评论(0) 推荐(0)