2019年5月22日
2019-oo-第三单元总结
2019-oo-第三单元总结 ——JML的应用 (1)梳理JML语言的理论基础、应用工具链情况 • JML语言的理论基础 • • 类规格 类的规格包括对数据状态的要求，即invariant（不变式：要求在所有可见状态下都必须满足的特性）和constraint（状态变化约束）； 以及对方法的要求。 • Read More
posted @ 2019-05-22 20:41 苦丁茶茶茶 Views(112) Comments(0) Diggs(0)