05 2021 档案

面向对象设计与构造 第三单元总结
摘要：面向对象设计与构造 第三单元总结 实现规格所采取的设计策略 本单元作业比较简单，由于JML都对每个类的属性和方法都进行详细细致的描述，因此只要理解规格说明，理解每个类、每个方法的功能，就可以比较轻松的将它们用代码实现。当然完全按照JML写的方法实现可以保证正确性和强测不挂，但不能保证互测不被hack 阅读全文
posted @ 2021-05-31 17:03 这白开水怎么没味儿啊 阅读(74) 评论(0) 推荐(0)