摘要：（1）实现规格采取的设计策略 第三单元主要内容为JML规格的实现，官方包中给出了几个主要的接口，并规定了需要撰写的函数及其相应功能的JML规格。通过本单元的学习（主要是第一次作业对JML的入门），我初步接触了JML规格的设计方式，并逐渐熟悉的依照JML规格进行单元函数撰写的模式。除此之外，由于本单元 阅读全文