首页 > TAG信息列表 > getPerson
BUAA_OO_第三单元总结
OO第三单元总结 第三单元要求了解JML语法和语义，并根据JML给出的规格编写代码，从而实现一个简单的社交关系模拟和查询系统，关键在于要准确的理解JML规格。 一、架构设计与算法性能优化 整体图模型建构 这一单元作业的背景是一个社交网络，层次有三层：Network，Group和Person，本质就是一个「BUAA OO」第三单元总结
「BUAA OO」第三单元总结 目录「BUAA OO」第三单元总结零、写在前面1、任务简介2、JML3、架构设计一、性能与优化通用优化第一次作业第二次作业第三次作业二、测试数据构造随机数据手搓数据正确性检验时间测试三、bug分析自身bug他人bug（互测前）互测bug四、功能拓展任务需求分析解读BUAA-OO第三单元总结
目录总述一、基于JML规格准备测试数据二、架构设计与图模型构建和维护策略2.1 第一次作业2.2 第二次作业2.3 第三次作业三、性能问题和修复情况四、NetWork 的扩展4.1 要求4.2 规定4.3 实现五、心得体会 总述 本单元的任务是实现简单的社交网络关系的模拟和查询， 包括人与人互动、BUAA OO Unit3总结
BUAA OO Unit3` 总结 1 架构设计 1.1 Homework9 第九次作业训练目标是实现简单社交关系的模拟和查询。本次作业我一共实现了MyPerson、MyGroup、MyNetwork以及六个异常类。 MyPerson： 每一个由MyPerson类实例化的对象都是一个人，可以抽象为一个结点，有自己的name、age和独一无二的iOO_U3总结
OO_U3总结 一、简介 本单元学习了JML进行规格化设计。JML通过前置条件、后置条件、副作用等对方法与类进行约束，而编程者只需要保证自己的代码实现符合JML规约，便可以保证程序的正确性。这大大化简了代码编写过程中的思考，降低了出错的概率，防止方法或者类之间过度耦合，也改善了一边架面向对象第三单元总结
面向对象第三单元总结 〇.单元总览 本单元的主要目的是建立一个社交通信网络，代码已由课程组给出，我们只需根据给出的jml规格实现接口即可，主要包括人，群组，网络和各种消息以及各种可能会产生的异常，部分方法涉及图论的相关知识。 一.容器选择 在jml规格提供的可选属性中，一般提供的都是