一只开心咩  

2019年5月22日

摘要: 2019面向对象程序设计第三单元总结 写在前面 ​ OO第三单元是对规格化设计的考验,规格化编程的核心是抽象,只体现“需求”而把具体的实现细节隐藏。三次作业层层递进,最终实现一个较为完善的地铁查询系统。在这一单元中,由于模块较多,所以学会利用JMLUnit单元测试有着重要的意义。 一.JML语言理论 阅读全文
posted @ 2019-05-22 18:41 一只开心咩 阅读(345) 评论(3) 推荐(7) 编辑