OO第三次博客作业
一、JML 基础 梳理JML语言的理论基础、应用工具链情况。 语言介绍 JML (Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言， ...
原文：OO第三单元博客作业
基于正确规格的程序就可以被认为是正确的程序 本单元的三次作为均为根据jml规格完成代码。三次作业依次为实现Path路径类和PathContainer路径容器类 将PathContainer类扩展成Graph类以实现图相关问题的处理 将Graph类扩展成RailwaySystem类以支持多种最短路查询 完成数据结构图论专题练习 。 本文将从JML语言梳理 部署SMT Solver进行验证 部署JM ...
2019-05-20 11:00 5 459 推荐指数：
相关推荐
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程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为。本章作业就是实现课程组提供的用规格定义好的接口，来学习如何根据规格写 ...
oo 第一次博客作业
oo 第一次博客作业 早在大一就听说了oo的各种传奇故事，大二下学期终于也开始了我的oo之旅。 基于度量来分析自己的程序结构 第一次作业 类图分析 耦合度分析 可以看出在第一次作业中，我的耦合度非常高，还停留在面向过程式的设计。 第二次作业 类图 ...
第三单元博客总结
第三单元博客总结 这一单元，主要是进行的JML的使用，以及考察了对于容器，对于算法选择时候的时间复杂度的控制。 JML的理论基础和相关工具 JML的核心就是规格和规范，当我们作为设计者想要向开发表达出让他们做什么 ...
OO第一单元总结
OO第一单元总结 目录 OO第一单元总结 第一次作业 思路 UML LineCount Metrics Bugs 第二次作业 思路 ...
OO第5~7次作业总结
作业5——多线程电梯 设计框架——UML协作时序图 （想看大图的话 crtl+滚轮 比较方便） 我为什么不用UML协作图（Communication Diagram），而是用UML时序图（Sequence Diagram）。 一方面，这样横平竖直的图更加直观美观。另一方面，使用 ...