BUAA_OO_2020_第二单元总结
BUAA_OO_2020_第二单元总结 第一次 设计策略 本次作业采用生产者、消费者模式设计，大致框架如图所示： 生产者：输入线程 消费者：电梯线程 托盘：Dispatcher调度器 线程安全方面，调度器中的指令队列为输入、电梯线程共享对象 ...
原文：BUAA_OO_2020_第三单元总结
BUAA OO 第三单元总结 JML理论基础 简介 JML Java Modeling Language 是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为。本章作业就是实现课程组提供的用规格定义好的接口，来学习如何根据规格写方法。 JML表达式 原子表达式 关键字 含义 示例 result 定义返回值 result getPerson id . ...
2020-05-19 16:01 0 628 推荐指数：
相关推荐
BUAA_OO_2020_第一单元总结
BUAA_OO_2020_第一单元总结 OO第一单元作业主题为表达式求导，主要学习目标为熟悉面向对象思想，学会使用类来管理数据，感受分工协作的行为设计，建立程序鲁棒性概念。如今，第一单元的学习已落下帷幕，再次对于本人的学习心得和成果进行总结。 第一次作业 基于度量的代码结构分析 第一次 ...
BUAA_OO_2020_第四单元与课程总结
BUAA_OO_2020_第四单元与课程总结 第四单元架构 第一次 架构设计 第一次作业要求实现UML类图解析器。 我才用自顶向下依次解析的方法，首先将类图中涉及的所有元素分成三层： 第一层 第二层 第三层 Class ...
2020 OO 第三单元总结 JML语言
title: 2020 OO 第三单元总结 date: 2020-05-21 10:10:06 tags: OO categories: 学习 第三单元终于结束了，这是我目前为止最惨的一单元，第十次作业强测20分，互测杀成狗……虽然都知道只关注分数没有什么意义，我更应该去体会的是通过JML学习 ...
2020 OO 第二单元总结
只要跑得够快即使从头关到尾你也喜欢吗？ 一、设计策略 1.1 总体策略概述 在多线程的协同和同步控制方面，我三次作业都是采用生产者/消费者模式（还憨憨地在内部分了customer、pr ...
OO第一单元总结
OO第一单元总结 目录 OO第一单元总结 第一次作业 思路 UML LineCount Metrics Bugs 第二次作业 思路 ...
OO第三单元博客作业
——“基于正确规格的程序就可以被认为是正确的程序 ” 本单元的三次作为均为根据jml规格完成代码。三次作业依次为实现Path路径类和PathContainer路径容器类；将PathContainer类扩展成Graph类以实现图相关问题的处理；将Graph类扩展成RailwaySystem类以支持 ...
OO第二单元总结博客
前言 相较于第一单元作业，由于对面向对象语言和层次化设计有了比较充分的认识，第二单元相对轻松（但还是很痛苦）。第二单元作业相较于第一单元，输入输出接口课程组已经提供，没有第一单元非常琐碎的化简等细节问题，困难点分布比较集中，攻克起来更加容易，主要是多线程编程的程序安全问题。第二单元作业第一次 ...