2019年5月21日
OO Unit 3 JML
摘要： [toc] 梳理JML语言的理论基础、应用工具链情况 面向对象编程思想中有一个重要原则就是尽量推迟过程性的思考。在实现一个程序时，首先考虑的不是先做什么后做什么，而是以具体的事物为单位，考虑它的属性和行为动作。就像先把主人公和主人公做的事情放进故事中，然后再填充人物之间的对话和交往。 JML语言理论 阅读全文
posted @ 2019-05-21 13:39 FFChyan 阅读(269) 评论(0) 推荐(0) 编辑