2023年5月18日
buaa面向对象第三单元
摘要： # 面向对象设计与构造第三单元 ## JML简介 JML(Java Modeling Language)是用于对`Java`程序进行规格化设计的一种表示语言。规范的`JML`语言描述了正确的`Java`程序的功能性要求，但具体如何实现，以及实现的性能如何就交给了开发人员了。 `JML`以`javad 阅读全文
posted @ 2023-05-18 16:18 clapp 阅读(158) 评论(0) 推荐(1) 编辑