2021年5月30日
oo_第三单元博客
引言 本单元主要的学习内容为JML规格语言，通过阅读JML规格来实现一个社交网络及其相应的功能。本次作业相较于前两次作业较为简单，难度主要在于读懂JML规格和实现性能的优化。 正文 一、实现规格所采取的设计策略 在实现前我一般会先阅读指导书上的简要介绍，优先实现异常类。实现异常类之后由简到难实现各个 Read More
posted @ 2021-05-30 17:03 禾草 Views(66) Comments(1) Diggs(0)