摘要: 作业 (1)面具之下 总结分析自己实现规格所采取的设计策略 & 总结分析容器选择和使用的经验 ​ 在面向对象的思想中, 一个对象可以被理解为一组数据以及在数据上的操作. 因此基于JML规范来实现具体对象的过程中, 其首当其冲的考量就是数据的存在方式. ​ 数据何以能。人话说就是容器的选取. JML规 阅读全文
posted @ 2021-05-28 20:37 AsaBaka 阅读(85) 评论(1) 推荐(0)