面向对象设计与构造2022-
BUAA_OO 第三单元总结——JML
BUAA_OO 第三单元总结——JML 第三次作业的目的是建立一个社交通信网络，通过JML帮助大家理解并且掌握JML有关内容。说一说一，这单元为了让我们认识到JML，图论的内容还是相当多的，如果我们按照正常JML的规格去写代码的话，最后的结果一定是超市的，这个也是学习JML的一部分，理解起来JML还 -
OO Unit3 SNS(Social Network Service)
OO Unit3 SNS(Social Network Service) 本篇文章从以下几个部分展开：对契约式编程的认识、性能与测试、SNS扩展JML、心得体会 契约式编程 Dbc(Designed by Contract)要求软件设计者为软件组件（通常是接口约束）添加正式的可验证的接⼝，在传统抽象 -
面向对象第三单元总结
北航OO第三单元（JML）总结 本单元的整体任务是学习阅读JML规格，达成契约式编程，最终根据接口的JML规格实现一个多人聊天系统的核心类。 一、测试数据的准备 这一单元的测试就是对于几个指令的测试，对于一些比较简单的方法例如查找总人数，就几乎不可能出错。所以测试数据主要聚焦在为了复杂度而做过优化的 -
面向对象设计与构造第三单元总结
作业分析 题目简述 根据给出的 JML 规格实现并维护一个社交网络的模型，包括人、群组、网络和各种消息，还有各种异常。 涉及图论模型，并查集、最短路和最小生成树算法。 架构设计 按要求实现几个类，每个类里面都使用 HashMap 建立编号到对象的映射，方便查找。 大致如下： //MyNetwork -
北航面向对象2022第三单元总结（JML）
北航面向对象2022第三单元总结（JML） 第三单元的作业以设计一个社交通讯网络为目标，帮助大家学习和理解JML的有关内容。值得一提的是，在本单元中，为了让大家更好地认识JML的有关内容和含义，图论的内容设计的相当多。并且，为了让大家有意识地控制自己的程序复杂度，也需要进行一些算法上的优化（并查集， -
第三单元总结作业
本单元直接给出基于JML的规格说明，因此在编写程序的时候，只需要认真阅读前置条件以及后置条件，抛出的异常等内容就可以实现代码。规格为数据规格和方法规格两种，而方法的实现需要基于数据的组织形式。 在规格实现中，基于数据类型直接按照规格来写也可以，数组可以使用Java提供的容器类比如Linkedlist -
北航20级oo课程第三单元总结
OO第三单元总结 架构设计： 本单元我们的主要任务是按照jml规格实现接口，主体代码已由课程组撰写完成。UML类图中展示的是第三次作业中自己实现的类以及它们之间的联系。前两次作业的架构大同小异，这里不多做展示。 架构分析： 本次作业涉及到基本的图论知识，在算法实现时，需要格外注意时间的复杂度，这个在 -
第三单元
1. 架构设计 1.1 第一次作业 此次作业的架构比较简单，首先依据Person接口和JML规格来实现MyPerson，MyPerson类生成的每个对象都会有id（编号）、name（姓名）、character（性格）、age（年龄）、acquaintAndVaule（认识的Person和两人关系 -
「BUAA OO Unit 3 HW12」第三单元总结
「BUAA OO Unit 3 HW12」第三单元总结 Part 0 前言 值得一提的是，笔者在做作业中探索了适合自己的策略，和大家分享： 首先通览guidebook，了解大致需求以及用到的算法 实现异常类 实现一般类中新增的内容，可以用Tricks一节中的插件进行比较快速得知更新内容 Part 1 -
OO 第三单元总结
OO 第三单元总结 规格的阅读与实现心得 JML的阅读方法 语法上， 可以参考课程组的《JML level0手册》， 涵盖了基本的jml关键词和语法，看不明白的话可以多翻翻，类比着就搞懂了 阅读顺序上， 阅读JML可以从一些比较底层的类开始读， 比如Person, Message这种依赖关系比较少的