2022年5月31日
第三单元总结作业
摘要： 本单元直接给出基于JML的规格说明，因此在编写程序的时候，只需要认真阅读前置条件以及后置条件，抛出的异常等内容就可以实现代码。规格为数据规格和方法规格两种，而方法的实现需要基于数据的组织形式。 在规格实现中，基于数据类型直接按照规格来写也可以，数组可以使用Java提供的容器类比如Linkedlist 阅读全文
posted @ 2022-05-31 17:51 quinna 阅读(27) 评论(0) 推荐(0) 编辑