2020年5月23日
OO第三单元博客作业
摘要： OO第三次博客作业 1. JML理论基础 JML是用于对Java进行规格化设计的一种表示语言。JML一方面可以在测试时为开发人员提供逻辑严格规格以避免二义性，另一方面可以提高代码的可维护性。 JML包含了类型规格、数据规格、方法规格等形式。其中，方法规格包括了前置条件、后置条件、副作用范围限定等约束 阅读全文
posted @ 2020-05-23 19:05 无棱二面角 阅读(129) 评论(0) 推荐(0)