2022年6月6日
2022-OO-Unit3
摘要： 2022-OO-Unit3 mashiroly 1. 概述 又到轻松愉快的博客周了（赫赫，hw13似乎不是很容易呢），回顾一下过去一个月做了什么吧。 本单元的目标是学习基于规格的层次化设计，需求是在JML规格的指导下，实现一个模拟社交关系系统。作业重点是阅读和理解JML规格，掌握异常处理和测试方法， 阅读全文
posted @ 2022-06-06 15:21 mashiroly 阅读(30) 评论(0) 推荐(0) 编辑