2019年5月22日
北京航空航天大学2019年OO课程第三次总结
摘要： 0.前言 这已经是第三次OO课程的总结博客了，由于本单元侧重于规格，因此总结博客的内容和前两次总结博客有较大差别。本次博客中，会涉及JML的相关知识和操作，我的JML学得并不太好，正好借着本次机会加强学习。 1.JML基础 1.1.JML理论基础 JML（java modeling language 阅读全文
posted @ 2019-05-22 20:22 王焜 阅读(214) 评论(0) 推荐(0) 编辑