OO第三单元博客作业
——“基于正确规格的程序就可以被认为是正确的程序 ” 本单元的三次作为均为根据jml规格完成代码。三次作业依次为实现Path路径类和PathContainer路径容器类；将PathContainer类扩展成Graph类以实现图相关问题的处理；将Graph类扩展成RailwaySystem类以支持 ...
原文：第三单元博客总结
第三单元博客总结 这一单元，主要是进行的JML的使用，以及考察了对于容器，对于算法选择时候的时间复杂度的控制。 JML的理论基础和相关工具 JML的核心就是规格和规范，当我们作为设计者想要向开发表达出让他们做什么的时候，我们往往需要用注释的方式来进行表述，比如某个类应该有什么变量，干什么，再比如某个方法应该做什么，什么可以变，什么不可以变化，以及对于数据有着特殊的要求等等一系列的要求。我最开始的时 ...
2020-05-19 14:54 3 563 推荐指数：
相关推荐
OO第二单元总结博客
前言 相较于第一单元作业，由于对面向对象语言和层次化设计有了比较充分的认识，第二单元相对轻松（但还是很痛苦）。第二单元作业相较于第一单元，输入输出接口课程组已经提供，没有第一单元非常琐碎的化简等细节问题，困难点分布比较集中，攻克起来更加容易，主要是多线程编程的程序安全问题。第二单元作业第一次 ...
2020 OO 第三单元总结 JML语言
title: 2020 OO 第三单元总结 date: 2020-05-21 10:10:06 tags: OO categories: 学习 第三单元终于结束了，这是我目前为止最惨的一单元，第十次作业强测20分，互测杀成狗……虽然都知道只关注分数没有什么意义，我更应该去体会的是通过JML学习 ...
BUAA_OO_2020_第三单元总结
BUAA_OO_2020_第三单元总结 JML理论基础 简介 JML(Java Modeling Language)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为。本章作业就是实现课程组提供的用规格定义好的接口，来学习如何根据规格写 ...
【作业3.0】HansBug的第三次博客规格总结
转眼间第三次作业了，似乎需要说点啥，那就说点。 规格&工业 说到这个，不得不提一下软件开发的发展史。 历史的进程 早在上世纪50年代，就已经有早期的编程语言出现，也开始有一些程序编写者出现（多为资深电子工程师，和半路出家的数学家）。 然而那个时代，软件开发基本局限于自己或自己部门 ...
iOS 第三方库、插件、知名博客总结
间 MBProgressHUD一款提示框第三方库 MWPhotoBrowser一款简单的 iOS 照片浏览 ...
iOS 第三方库、插件、框架、教程、XCode 插件、组件、知名博客总结
用到的组件 1、通过CocoaPods安装 项目名称 项目信息 AFNetw ...
OO第一单元总结
OO第一单元总结 目录 OO第一单元总结 第一次作业 思路 UML LineCount Metrics Bugs 第二次作业 思路 ...