2020年5月23日
面向对象程序设计第三单元总结
摘要： 面向对象程序设计第三单元总结 本单元的作业背景是在给出的接口功能要求下根据JML规格进行程序设计，最终按照要求实现对于社交网络的模拟，主要进行学习的点在于接触到JML这个全新的用注释的方式来表达规格的方式，同时对于代码规格以及代码实现的关系也有相应的学习。除此之外，本单元作业的另外一个考点是对于算法 阅读全文
posted @ 2020-05-23 20:57 ZzZzYy 阅读(191) 评论(0) 推荐(0)