面向对象设计与构造2022 (北京航空航天大学 - 计算机学院)

  • OO-第三单元总结

    概述 本单元的任务是根据JML描述实现要求的接口,以完成一个社交网络图的模拟,包括添加节点(Person),添加边(add relation),查询连通性和变得权值等。在几次迭代开发的过程中还会加入构建最小生成树和查询最短路径的功能。本单元的主要聚焦于JML规格的理解和一些基础图算法的编码应用。 基
    scrail   2022-06-06 13:32   0   7
  • OO - 第三单元总结

    OO第三单元总结 要求 单元总结要求 第一次作业总结 分析 在本单元我们的任务为需要完成的任务为通过一个实现简单社交关系的模拟和查询的例子以此达到学习入门级 JML 规格理解与代码实现的能力 本次作业只需要读懂代码中的 JML 表示语言,并且按照其中的要求编写好代码即可,由于客户需求基本都已经表述的
    master-Tan   2022-06-06 13:23   0   15
  • BUAA_OO U3 Summary

    BUAA_OO U3 Summary 架构设计 第一次作业 ​ 本单元作业以我们数据结构的角度来理解,一个对象Person似一个节点,acquaintance是两个节点之间的权值,Network类是存储了多个连通图的节点图。Group类在本次作业中似乎是一个独立于图外的结构,Group对象相当于给P
    j[k]{2}   2022-06-06 13:18   1   6
  • BUAA_OO_UNIT3_BLOG_JML

    BUAA_OO_UNIT3_BLOG_JML 一、摘要 JML单元相较前两单元显得轻松了一些,从 JML 到 Java 更像是一个翻译的过程。只要按照官方给出了的 JML 撰写代码,正确性似乎难度较小,但是较大的数据量对算法的复杂度发出了 “无声” 的要求(OO 算法课),很多精力都放在 RTLE
    WIT23   2022-06-06 13:06   0   4
  • BUAA_OO_第三单元作业总结

    BUAA_OO_第三单元作业总结 总体概述 本单元的任务为实现一个简单的社交网络,分三次逐步迭代使社交网络具有分组,收发消息,计算群组内相关信息等相关功能。本次作业旨在训练阅读JML规格,以及具备根据JML给出的规格编写Java代码的能力,了解JML规格在面向对象设计与构造中的重要意义,并掌握利用J
    silhouette-   2022-06-06 13:00   0   9
  • OO_Unit3_blog

    3rd blog
    cccvs   2022-06-06 13:00   0   20
  • 『BUAA-OO-Unit3-Summary』

    恢复内容开始 『BUAA-OO-Unit2-Summary』 Homework5 0. 写在前面 由于没有看清DDL,导致本次作业卡点提交未能成功通过。(悲) 作为多线程编程的初学者,我认为本次作业的难点有三: wait()/notify()的使用; 共享对象类的构造; 调度策略的代码实现; 接下来
    augusto_13   2022-06-06 12:41   0   7
  • OO第三单元总结

    OO Unit3 分析在本单元自测过程中如何利用JML规格来准备测试数据 学习了推荐的Junit,尝试了使用。 在数据方面,主要根据JML规格中各个分支进行考虑,对于各个分支可能出现的情况手动构造数据以及一些特殊强度的数据,并结合一定的自动生成的数据。 比如测试sim的是否发生超时 FILE *rp
    strly   2022-06-06 12:39   1   9
  • [BUAA OO]第三单元总结

    [BUAA OO]第三单元总结 一.写在前面 在这一单元,我们主要对规格化设计重要的实现者、可以避免二义性的语言JML(Java Modeling Language)进行了一定的了解,体会到了一些规格化设计的思想。三次作业以提高对JML的阅读能力和对于算法复杂度的把控为主要目标,以社交网络为主要载体
    Jack_rbkd   2022-06-06 12:30   0   8
  • BUAA-OO-UNIT3-JML

    JML规格及测试: JML规格: JML规格提供了一种对于数据的约束,通过更加形式化的语言来对于前置条件、后置条件进行约束,从而保证程序在正确执行后能得到正确的结果。 总体来说,JML规格相较于平时使用的自然语言来说更加复杂,这在作业中也有很明显的体现,例如最短路、最小生成树的描述,让人看着感到不适
    Satom1shihara   2022-06-06 12:27   0   5