2022年6月3日
2022北航面向对象第三次作业分享及总结
摘要： 2022北航面向对象第三次作业分享及总结 本次作业从5月2号开始，经过三周的迭代开发，在JML规格理解的基础上，完成代码实现，最终完成了一个具有模拟查询功能的社交网络。 作业背景 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 JML是一种行 阅读全文
posted @ 2022-06-03 21:33 Chenkit^^ 阅读(76) 评论(1) 推荐(0) 编辑