摘要: BUAA_OO_2021_第三单元总结 OO第三单元以一个社交关系模拟系统为主题,学习了JML形式化规格语言。我觉得JML是一个非常适合于开发的工具,规格化的设计比直接进行程序设计出现错误的可能性小得多,并且对于比较大的项目来说,按照规格完成代码比较容易,每一个类的方法都很清晰,便于扩展功能和deb 阅读全文
posted @ 2021-05-27 23:21 SilenceBQ 阅读(93) 评论(1) 推荐(0) 编辑