BUAA_OO_2020_第三单元总结
BUAA_OO_2020_第三单元总结 JML理论基础 简介 JML(Java Modeling Language)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为。本章作业就是实现课程组提供的用规格定义好的接口，来学习如何根据规格写 ...
原文：2020 OO 第三单元总结 JML语言
title: OO 第三单元总结 date: : : tags: OO categories: 学习 第三单元终于结束了，这是我目前为止最惨的一单元，第十次作业强测 分，互测杀成狗 虽然都知道只关注分数没有什么意义，我更应该去体会的是通过JML学习对于程序设计理念的认知，但是 心真的很痛。下面就进入单元总结： . JML语言理论基础与工具链 . JML语言是什么 参考课程组下发的 JML Leve ...
2020-05-23 19:39 0 680 推荐指数：
相关推荐
2020 OO 第二单元总结
只要跑得够快即使从头关到尾你也喜欢吗？ 一、设计策略 1.1 总体策略概述 在多线程的协同和同步控制方面，我三次作业都是采用生产者/消费者模式（还憨憨地在内部分了customer、pr ...
BUAA_OO_2020_第二单元总结
BUAA_OO_2020_第二单元总结 第一次 设计策略 本次作业采用生产者、消费者模式设计，大致框架如图所示： 生产者：输入线程 消费者：电梯线程 托盘：Dispatcher调度器 线程安全方面，调度器中的指令队列为输入、电梯线程共享对象 ...
BUAA_OO_2020_第一单元总结
BUAA_OO_2020_第一单元总结 OO第一单元作业主题为表达式求导，主要学习目标为熟悉面向对象思想，学会使用类来管理数据，感受分工协作的行为设计，建立程序鲁棒性概念。如今，第一单元的学习已落下帷幕，再次对于本人的学习心得和成果进行总结。 第一次作业 基于度量的代码结构分析 第一次 ...
BUAA_OO_2020_第四单元与课程总结
BUAA_OO_2020_第四单元与课程总结 第四单元架构 第一次 架构设计 第一次作业要求实现UML类图解析器。 我才用自顶向下依次解析的方法，首先将类图中涉及的所有元素分成三层： 第一层 第二层 第三层 Class ...
OO第一单元总结
OO第一单元总结 目录 OO第一单元总结 第一次作业 思路 UML LineCount Metrics Bugs 第二次作业 思路 ...
【面向对象】三单元JML总结
前言 相比于前两个单元，这个单元对于测试能力的需求有了进一步的提升。对于所给的规格，我首先需要看懂，并且要使用比较好的方法进行实现。这也带来了一个问题，我必须能够编写测试集来测试自己写的数据结构。还有一个问题，就是即使我每个方法可能符合规格，但是整个程序在总体上会有bug怎么办 ...
OO第三单元博客作业
——“基于正确规格的程序就可以被认为是正确的程序 ” 本单元的三次作为均为根据jml规格完成代码。三次作业依次为实现Path路径类和PathContainer路径容器类；将PathContainer类扩展成Graph类以实现图相关问题的处理；将Graph类扩展成RailwaySystem类以支持 ...