热门标签
更多>
搜索结果
查询Tags标签: MyNetwork,共有 2条记录-
BUAA OO Unit3 —— Java Modeling Language(JML)
BUAA OO Unit3 —— Java Modeling Language(JML) by Monument_Valley 0. 写在正文前 本篇博客是对笔者在北航2022年春季《面向对象设计与构造》课程第三单元的三次作业的总结。 本单元的主要任务为:学习JML语言,学会阅读并撰写JML,理解契约式编程,并在助教已给出的JM…
2022/6/6 1:19:40 人评论 次浏览 -
BUAA OO 第三单元总结
BUAA OO 第三单元总结 规格实现策略 本单元的重中之重,便是对于JML规格理解与代码实现 理解并规格的时候,我一般分为下面的几个步骤: 1、先通读一遍规格,结合方法名与具体规格,理解类每个方法的大致功能并简要记录。重点理解方法之间的调用关系,方法之于类的作用等。…
2022/6/3 23:21:54 人评论 次浏览