2020年5月23日
OO第三单元总结
摘要： OO第三单元总结 [TOC] 一、JML理论基础、应用工具链情况 JML理论基础 我所理解的JML规格化设计语言，是设计契约的一种表达形式。应用JML表达对代码的需求，避免了自然语言不严谨的问题，可以一定程度上降低因为沟通问题而出现的代码出错的概率。 我们在主要使用了JML中的方法规格和类型规格，用 阅读全文
posted @ 2020-05-23 13:01 Stranger130 阅读(207) 评论(0) 推荐(0)