2019年5月22日
OO第三单元总结
摘要： OO第三单元作业总结 一、前言： 本单元进行的是JML的学习。 二、梳理JML语言的理论基础、应用工具链情况 （一）JML语言的理论基础 1.概念：JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 2.注释结构：JML以javadoc注释的方式 阅读全文
posted @ 2019-05-22 21:01 江流君 阅读(186) 评论(0) 推荐(0)