2019年5月22日

第三组作业博客总结

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

posted @ 2019-05-22 14:02 No_CE_in_Vegetable 阅读(136) 评论(0) 推荐(0) 编辑

导航