05 2020 档案

面向对象设计与构造第三单元总结
摘要：面向对象设计与构造第三单元总结 JML的理论基础、应用工具链 理论基础： JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，通过固定的语法规定了java的类中的不变式，方法的前置条件，后置条件和副作用等。JML为严格 阅读全文
posted @ 2020-05-21 14:12 °不凉少年 阅读(177) 评论(0) 推荐(0) 编辑