05 2021 档案

oo第三单元总结
摘要：北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 阅读全文
posted @ 2021-05-29 00:00 phm19231049 阅读(80) 评论(1) 推荐(0)