2021年5月31日
2021-OO-第三单元总结
摘要： OO-第三单元总结 一、作业概况分析 面向对象构造与设计第三单元要求我们根据指导书中给出的JML规格实现相应的功能，保证程序设计的正确性。我们根据JML的要求，来对给定限制范围输入变量进行处理，并且保证输出符合相应的规则，同时对异常进行处理，模拟了工程标准下的代码编写任务。由于大部分代码由官方包给定 阅读全文
posted @ 2021-05-31 10:50 WuhuAirforce 阅读(108) 评论(0) 推荐(0)