05 2021 档案

摘要:第三单元博客 第三单元是对JML规格的初步接触和练习。其初衷是为了以严格的语言来规范代码的书写,避免二义性,传达清晰的信息。总的来说,本单元作业难度不算特别大,但需要对JML的描述进行转化避免性能过差。因此在JML的规格约束下设计合适的架构,进行合理的选择是整个作业的关键,也是使用形式化语言的关键。 阅读全文
posted @ 2021-05-30 19:13 声东击西 阅读(127) 评论(0) 推荐(0)