05 2019 档案

面向对象设计与构造：JML规格单元作业总结

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

posted @ 2019-05-22 18:39 Red_Revolution 阅读(286) 评论(0) 推荐(0) 编辑