2019年5月21日
OO第三单元总结
摘要： OO第三单元总结 任务一 ：JML的理论基础，应用工具链情况 JML是一种形式化的，面向java的行为接口规格语言(来自于PPT)。他具有充分的理论基础：JML的建立是建立在LARCH方法的基础上的。 JML主要通过前置条件，后置条件，副作用，不变式等多种形式来规定方法的正常行为和异常行为，以达到契 阅读全文
posted @ 2019-05-21 20:44 Caiji_Tjm 阅读(165) 评论(0) 推荐(0) 编辑