2020年5月22日
BUAA_2020_OO_UNIT3_REVIEW
摘要： OO第三单元总结 1. JML语言的理论基础、应用工具链情况 1.1 JML理论基础 我觉得就是《离散数学》中的数理逻辑 由于我的《离散数学》是速成的，导致我不会写规格，只能勉强读读，因为写规格和写代码的逻辑完全不一样，第10次作业我就傻逼了。 JML知识点总结： pure： 纯粹查询，无任何副作用 阅读全文
posted @ 2020-05-22 22:57 BUAA-City 阅读(230) 评论(1) 推荐(0) 编辑