05 2019 档案

OO第三单元总结
摘要：(一)梳理JML语言的理论基础、应用工具链情况 （1）理论基础 面向对象编程思想中有一个重要原则就是尽量推迟过程性的思考，所以我们在设计面向对象程序时首先要考虑的要干什么而不是怎么干什么。JML作为一种行为接口的规范语言，可以用来指定Java模块的行为，其最基本的用途是作为Java的合同设计(DBC 阅读全文
posted @ 2019-05-22 19:22 月中眠 阅读(178) 评论(0) 推荐(0)