2022年6月3日
BUAA_OO 第三单元总结-JML
摘要： 一、总览 ​ 本单元要求按照给定的JML规格实现一个社交网络，通过指令实现添加Person或Relation，消息收发，查询等功能。这一单元的主要目的大约在于了解并熟悉JML规格描述语言，初步体会这种契约式编程思想。 ​ 在作业的完成上，难度相比之前两个单元小一些，大部分代码只需要读懂JML，对要实 阅读全文
posted @ 2022-06-03 14:30 Banana889 阅读(29) 评论(0) 推荐(0) 编辑