2020年5月22日
OO第三单元作业总结
摘要： OO第三单元总结 18231169 黄思为 1.JML语言的理论基础及应用工具链 ​ 个人感觉JML的书写与离散数学中命题逻辑、谓词逻辑比较类似。大概是用一种形式化的语言，规定代码的实现。 1.1 JML的理论基础 JML中有类似离散中的存在量词、全称量词：\exsit、\forall 与伪代码类似 阅读全文
posted @ 2020-05-22 11:14 WilliamHuang 阅读(180) 评论(0) 推荐(0) 编辑