2019年5月22日
OO-第三单元总结
摘要： JML语言的理论基础与应用工具链 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。用法主要有开展规格化设计，或针对已有的代码书写规格以提高代码的可维护性。在本单元的作业中，主要用到的有 • /public normal_ 阅读全文
posted @ 2019-05-22 19:29 Saluki 阅读(125) 评论(0) 推荐(0)