2020年5月20日
OO第三单元小结
摘要： [TOC] JML理论基础 jml是基于一阶谓词逻辑来对类进行形式化描述的语言，jml语言通过表达式、方法规格、类规格三个部分来进行描述。其中表达式是在java语言的基础上扩展了非修改类型的表达式；方法规格中包括了前置条件、后置条件、副作用作用范围三个部分；类规格包含不变式和状态变化约束两个部分。j 阅读全文
posted @ 2020-05-20 22:06 duckingss 阅读(149) 评论(0) 推荐(0) 编辑