2019年5月22日
面向对象设计与构造：JML规格单元作业总结
摘要： 面向对象设计与构造：JML规格单元作业总结 第一部分：JML语言理论基础 JML语言是什么：对Java程序进行规格化设计的一种表示语言 使用JML语言有什么好处： 用逻辑严格的规格取代自然语言，照顾马龙的语文水平。一切挑战规则的行为必将受到严厉惩罚 代码维护性高，让大牛的代码不再晦涩，让轮子制造机无 阅读全文
posted @ 2019-05-22 18:39 Red_Revolution 阅读(275) 评论(0) 推荐(0) 编辑