2019年5月22日
OO第三单元总结
摘要： OO第三单元总结 本单元是规格类作业，旨在对工程细节功能的实现，对编程逻辑的要求更高。 （一）JML理论基础 JML是一种行为接口规范语言，可用于指定Java模块的行为。JML能够更为精确地描述这些代码是做什么的，结合它首先可以更改或新增相应方法时降低引入bug的机会，其次也能够较为高效地发现和修正 阅读全文
posted @ 2019-05-22 15:58 TangLu85 阅读(243) 评论(0) 推荐(0)