2020年5月23日
面向对象第三单元作业反思与总结
摘要： 面向对象第三单元反思与总结 随着学期过半，面向对象课程也迎来了第三单元，之后再经过一个单元，面向对象课程就结束了。本单元但是主题是JML的相关知识。 一、JML的梳理与总结 1.JML语言简介 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种行为接口规格 阅读全文
posted @ 2020-05-23 21:34 苏∴杭 阅读(149) 评论(0) 推荐(0) 编辑