2019年5月22日
第三次oo作业总结
摘要： JML语言梳理 理论基础 面向对象编程思想中有一个重要原则就是尽量推迟过程性的思考。所以我们在设计面向对象程序时首先要考虑的要干什么而不是怎么干什么。而Java本身并没有提供一种描述程序要干什么的方法，于是我们引入Java建模语言JML(Java Modeling Language)来实现这一目的。 阅读全文
posted @ 2019-05-22 22:17 于金佐 阅读(163) 评论(0) 推荐(0) 编辑