2022年6月6日
OO第三单元总结
摘要： 规格实现总体思路 首先完成所有异常类的书写，方法大同小异（注意输出格式） 优先整体浏览工程中待实现的每一个类的规格。JML语言十分严谨，与此同时细节也非常多，由细节开始理解程序的整体功能不符合人的认知规律也不符合自顶向下的设计原则。理解每个类的整体功能也对理解具体方法的功能有帮助，比如如果可以将My 阅读全文
posted @ 2022-06-06 11:01 myyyyyy47 阅读(43) 评论(1) 推荐(0) 编辑