2021年5月30日
面向对象程序设计第三单元总结
摘要： 面向对象程序设计第三单元总结 实现规格所采取的设计策略 对规格的理解： 第三单元学习的JML(Java Modeling Language)是一种用于Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为，防止了关于模块设计者意图的歧义，而这就是规格。一般是以注释的形式加到Ja 阅读全文
posted @ 2021-05-30 01:31 QuantumBolt 阅读(58) 评论(1) 推荐(0) 编辑