2019年5月22日
OO第三单元总结
摘要： 概述 本单元的主要内容是JML，JML是一种对Java程序进行规格化设计的表示语言。本单元的任务是按照JML语言所描述的规格编写类和方法，虽然编写的代码量并不大，但是我们需要考虑自己实现的架构和性能，否则在强测中很容易超时。 一、JML语言的理论基础及应用工具链 （1）JML语言理论基础 注释结构 阅读全文
posted @ 2019-05-22 01:23 meaqua 阅读(214) 评论(0) 推荐(0)