第三组作业博客总结
摘要：
OO 第三次博客作业（设计规格） 丁元杰 17231164 JML语言理论基础、应用工具链 JML常用于对bug容忍度极低的开发情形。其基本思想是使用无歧义的、程序可读的语言对类和方法的行为进行描述，从而达到准确传达架构师意图、并能够让程序在运行过程中进行检查的目的。这里用到的工具是OpenJML。 阅读全文
posted @ 2019-05-22 14:02 No_CE_in_Vegetable 阅读(133) 评论(0) 推荐(0) 编辑
