2022年6月6日
[BUAA OO]第三单元总结
摘要： [BUAA OO]第三单元总结 一.写在前面 在这一单元，我们主要对规格化设计重要的实现者、可以避免二义性的语言JML（Java Modeling Language）进行了一定的了解，体会到了一些规格化设计的思想。三次作业以提高对JML的阅读能力和对于算法复杂度的把控为主要目标，以社交网络为主要载体 阅读全文
posted @ 2022-06-06 12:30 Jack_rbkd 阅读(39) 评论(0) 推荐(1) 编辑