- 博客(5)
- 收藏
- 关注
原创 BUAA OO Unit3 总结
本单元旨在学习契约式编程的相关知识。不同于以往的指导书形式的用自然语言描述功能要求,此单元作业的方法规格功能约束都在官方代码中以jml语言的形式呈现,最终实现了一个简易的社交网络系统。同时,在性能方面,也通过规格和实现的分离考察了图相关的一些算法。
2024-05-19 18:26:27
612
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人