Loading

2021年5月31日
OO第三单元总结
摘要： OO第三单元总结 〇、单元内容简述 本单元作业主要围绕JML展开。通过迭代实现已由JML规格定义好的类及其方法，实现一个提供增删查改等交互的简单社交关系模拟系统，同时对JML这种规格语言进行入门级的理解。 一、设计策略综述 规格本质上是程序设计者与实现者为了保证程序行为的正确性而缔结的一种契约。而我 阅读全文
posted @ 2021-05-31 11:02 4lex49 阅读(50) 评论(0) 推荐(0) 编辑