2020年5月22日
BUAA_OO_2020_UNIT3_Summary
摘要： BUAA_OO_2020_UNIT3_Summary ​ 本单元在阅读并理解JML规格的基础上，完成一个简单社交网络系统的迭代开发，该系统为实时在线系统，输入给出指令，需要及时给出正确的输出。训练重点为对规格的理解，数据结构和算法的选择，程序复杂度和时间的控制。 一、JML理论基础与应用工具链梳理 阅读全文
posted @ 2020-05-22 16:21 _Akman 阅读(250) 评论(0) 推荐(0)