2021年5月29日
BUAA_OO第三单元总结（社交网络）
摘要： 概述 本单元主要学习了JML规格的书写以及理解，通过提供的JML规格实现社交网络的一系列指令。其实就是相当于，把PDF的要求文档，改编成了更加形式化的，与代码结合的JML规格。 实现规格所采取的设计策略 相比之前以PDF文档的形式提供作业要求，JML给人最大的感受就是，它将要求融合在了代码之中，其实 阅读全文
posted @ 2021-05-29 17:04 HyperCarrot 阅读(93) 评论(1) 推荐(0) 编辑