2020年5月20日
OO第三单元总结
摘要： OO第三单元总结 一、JML基础及工具链 JML基础 jml是用于对Java程序进行规格化设计的一种表示语言。简单地说，规格就是设计者、开发人员与用户的“三方协议”。设计者根据用户需求来进行抽象，用形式化的语言来描述用户的需求，而开发人员则将其进行具体的实现。而本单元所用的jml就是具有这种功能的语 阅读全文
posted @ 2020-05-20 15:43 6yyh6 阅读(222) 评论(0) 推荐(1) 编辑