2020年5月23日
OO第三单元总结
摘要： OO第三单元总结 一、JML理论基础 JML是设计者提供给开发者的说明书，除了消除自然语言的歧义和可供自动化测试，在大工程中规格注释可能是开发人员间效率最高的交流方式。 JML设定规格，同时有比较高的自由度，如类型规格不限制层次继承结构的设计（满足规格继承前提），抽象数据类型不限制实际使用的数据结构 阅读全文
posted @ 2020-05-23 17:53 Gawson 阅读(147) 评论(0) 推荐(0) 编辑