2021年5月28日
2021OO第三单元总结
摘要： 第三单元总结 19231142 李靖尧 一、第一次作业： 本单元第一次作业是要实现一个简单的线上交流系统，实现难度不大，重点在于JML规格语言的理解上面，难点在实现算法的优化上。一共需要两个基本类，根据Person和NetWork接口实现自己相对应的类，类中的方法需要根据JML的描述进行书写。同时在 阅读全文
posted @ 2021-05-28 22:43 春天里666 阅读(61) 评论(0) 推荐(0) 编辑