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