2020年5月23日
第三单元总结
摘要： 一、JML语言的理论基础 初次接触JML时，我并不太能理解它的意义和实际作用。在初步了解了JML的语法之后，我认为JML只是在用另一种形式对编程者提出要求，甚至感觉JML相比前几次作业单纯的自然语言描述更加“繁琐”。但我经历了三次作业的考验，查阅了相关资料后，似乎才真正get到JML的作用。JML语 阅读全文
posted @ 2020-05-23 21:49 oo博士 阅读(142) 评论(1) 推荐(0) 编辑