2021年5月28日
BUAA_OO_第三单元总结
摘要： 一、实现规格所采取的设计策略 在本单元的代码实现过程中，由于已经用JML为我们定义了方法的规格，所以只需要将JML翻译成代码语言即可。在翻译的过程中需要确保实现的逻辑严谨以及严格符合JML的规格。 在具体的实现过程中，我的设计策略是首先实现异常类，然后分别实现不同的类。从类的包含关系来看，首先实现较 阅读全文
posted @ 2021-05-28 07:49 zymmm 阅读(440) 评论(0) 推荐(1)