摘要: OO第三单元总结 一、写在前面 何为契约式编程?何为规格?为什么要使用JML语言?我认为如果不把这些问题梳理清楚的话其实很难体会为何课程组设置了此单元。 1、契约式编程 1.1 历史 来源于Wikipedia: The term was coined by Bertrand Meyer in con 阅读全文
posted @ 2022-06-05 11:33 乔治爱OO 阅读(72) 评论(1) 推荐(0) 编辑