2020年5月23日
Summary of OO Unit3
摘要： 一、JML理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。诞生于契约性编程思想，JML能够以javadoc注释的方式规范地描述方法和类型的规格，使之成为设计者与开发者之间共同遵守的契约。正如同商业活动中的契约一般，在设 阅读全文
posted @ 2020-05-23 10:27 ·LBJ 阅读(143) 评论(0) 推荐(0) 编辑