规格化

面向对象第三单元总结

Homework1Homework2Homework3bug修复Homework1Homework2Homework3心得体会面向对象第三单元总结JML语言理论基础简介JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言
不思进取i·2020-05-22 21:00

OO第三单元总结

SMTSolver三、JMLUnitNG四、我的架构设计——以第三次作业为例五、BUG六、体会一、JML理论基础与工具链理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言
洛克索耶夫·2020-05-22 20:00

OO第三次博客作业

OO第三次博客作业JML语言的理论基础及相关工具链理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
lzxsbf·2020-05-22 20:00

OO第三单元总结-JML

OO第三单元总结-JMLJML理论基础1.定义：JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
aejion·2020-05-22 19:00

OO第三单元JML总结

第三单元JML总结JML语言的理论基础JML语言是对java程序进行规格化设计的一种表示语言，通过对方法的输入和输出的结果进行规格化的描述以此规定方法的功能和要求；JML语言有一套完整的语法体系，能够比较好的展示方法之间的关系
LWHUAGANG·2020-05-22 16:00

第三单元作业总结

一、JML基础及工具链JML基础JML（JavaModelingLanguage）是一种对JAVA程序进行规格化设计的语言，是一种形式化的契约规范语言。JML书写者需要保证
摄津Osaka·2020-05-22 16:00

OO_Unit3总结

OO_Unit3总结一、JML情况理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言，为严格的程序设计提供了一套行之有效的方法。
Namoe·2020-05-22 15:00

OO第三单元总结——人际关系网

OO第三单元总结——人际关系网JML语言1.JML语言理论基础JML是用于对Java程序进行规格化设计的一种表示语言。有两种主要的用法：在编写代码之前根据需要进行规格化设计。
tritri·2020-05-22 14:00

BUAAOO_UNIT3_2020

JML是基于java的规格设计表示语言,是一种行为接口规格语言(BehaviorInterfaceSpecificationLanguage，BISL)JML以javadoc注释的方式来表示规格,其核心是规格化表述举例来说
Okifu·2020-05-22 12:00

OO第三单元——基于JML的社交网络总结

OO第三单元——基于JML的社交网络总结一、JML知识梳理1）JML的语言基础以及基本语法JML是用于java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。
18373197·2020-05-22 12:00

OO第三次博客作业

本单元学习的内容是基于JML的规格化设计，通过三次作业实现了一个提供了基础功能的人际网络，熟悉了JML，同时也初步了解了基于规格的程序设计，还对部分数据结构和算法的知识进行了复习。
Roy_wcm·2020-05-22 11:00

BUAA_OO_JML_Unit3总结

一、JML理论基础JML是对java程序进行规格化设计的一种规范语言。通过JML以及其支持工具（例如Junit，Openjml等），还可以基于规格自动生成边界
Yang_Xi·2020-05-22 11:00

OO第三单元JML作业总结

BUAA_BladeMonster_003一、JML语法总结JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言。
BladeMonster·2020-05-22 03:00

BUAA_OO_2020_Unit3_Summary

概述通过Unit3的学习，我了解到JML规格化设计语言的相关知识，初步掌握通过JUnit开展单元测试的方法，并通过实现一个人际关系网络巩固所学内容、提升算法能力。
Palemodel·2020-05-22 01:00

2020北航OO第三单无总结

二、JML基础简介JML(JavaModelingLanguage)是用于对Java程序进行规格化设计、行为接口规格语言（BehaviorInterfaceSpecificationLanguage，BI
don_zhou·2020-05-22 00:00

BUAAOO第三单元总结——规格化的面向对象设计

一、JML理论基础1.1JML的用法JML是用于对Java程序进行规格化设计的一种表示语言。JML有两种主要的用法：（1）开展规格化设计。
18373404·2020-05-21 23:00

BUAA_OO_UNIT3_Summary

一、JML语言理论基础与应用工具链梳理理论基础JML是用于对Java程序进行规格化设计的一种表示语言。通过类似离散数学里面的语句，规范明确地指出操作的行为。具体而言，JML有两种主要的用法。
飞昉·2020-05-21 22:00

OO第三单元作业总结

OO第三单元总结1.jml基础概念JML，即javaModelingLanguage，是用于对Java程序进行规格化设计的一种表示语言。
Gausbon·2020-05-21 22:00

oo第三单元作业总结

oo第三单元作业总结一、JML理论基础及应用工具链1.1JML基本介绍JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言，通过JML及其支持工具，不仅可以基于规格自动构造测试用例
Gottfriede·2020-05-21 21:00

OO Unit 3 Summary

JML有两种主要的用法：（1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格
-Limbo-·2020-05-21 21:00

第三单元总结

一、JML理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
SSpLiT·2020-05-21 21:00

OO第三单元总结——JML

OO第三单元总结——JMLJML理论基础及工具链梳理JML语言简介JML(JavaModelingLanguage)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为
ajiuk·2020-05-21 21:00

OO第三单元 JML规格 单元回顾

一.JML语言的理论基础、应用工具链理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
不墨·2020-05-21 20:00

OO第三单元总结

OO第三单元总结OO第三单元主要是JML规格的书写和实现，代码量不多，难度不大，但是很坑JML理论基础与工具链JML理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言
Donke55·2020-05-21 17:00

OO 第三单元

一、JML语言理论基础JML是用于对Java程序进行规格化设计的一种表示语言，为严格的程序设计提供了一套行之有效的方法。
DanGuge·2020-05-21 17:00

OO第三次博客作业

OO第三次博客作业JML是用于对Java程序进行规格化设计的一种表示语言，有两种主要的用法，一是开展规格化设计，二是针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性，本单元的三次作业和两次实验就针对这些内容展开
homothetic·2020-05-21 16:00

BUAAOOUnitThree总结分析

一、梳理JML语言的理论基础、应用工具链情况理论基础定义：JML是用于对Java程序进行规格化设计的一种表示语言JML基础关键字解释举例\result方法执行后的返回值\result=p1.getId(
zhouh1999·2020-05-21 15:00

面向对象设计与构造第三单元总结

面向对象设计与构造第三单元总结JML的理论基础、应用工具链理论基础：JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
°不凉少年·2020-05-21 14:00

第三单元博客作业

第三单元博客作业PART1JML语言的理论基础以及相关工具链JML基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
yokies·2020-05-21 13:00

OO第三单元总结

一、JML的理论基础和相关规范JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。告诉编程者函数的具体功能是什么，相比文字描述而言，更具有逻辑性。
NCT2020·2020-05-21 12:00

OO第三单元博客作业

一、JML语言介绍1.1、JML简介  JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言，基于Larch方法构建。
18373520·2020-05-21 11:00

OO_Unit 3 JML规格化设计总结

OO_Unit3JML规格化设计总结JML语言概述（Level0）概念定义  JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
Shaun_Yao·2020-05-21 10:00

Unit3-窝窝社交圈

文章共分五个部分：JML总结作业分析评测相关重构策略课程体验感受JML总结定义JML是一种对Java程序进行规格化设计的表示语言JML是一种行为接口规格语言(BehaviorInterfaceSpecificationLanguage
SilenceJiang·2020-05-21 09:00

OO第三单元总结 规格JML和社交关系系统

OO第三单元总结规格JML和社交关系系统一、JML语言概况1.1理论基础JML是一种形式化面向JAVA的行为接口规格语言作用开展规格化设计与测试。将逻辑严格的规格交给代码实现人员。
Shonnyx·2020-05-21 08:00

OO第三单元总结

OO第三单元总结—JML契约式编程JML语言综述JML（JavaModelingLanguage）是用于对JAVA程序进行规格化设计的一种语言，很好地规定了行为规范。
Skypowerr·2020-05-21 00:00

OO第三单元作业总结

一、JML理论基础JML是用于对Java程序进行规格化设计的一种表示语言，是对一种行为接口规格语言。通过它，可以完整的描述这个接口的行为，需要做到对于这个接口（方法）或者类型外部的内容的完整定义。
力理利丽黎·2020-05-20 22:00

面向对象第三单元总结

一、JML理论基础及应用工具链1.JML理论基础JML是用于对java程序进行规格化设计的一种表示语言，是一种行为接口规范语言。
Jaripon·2020-05-20 21:00

OO第三单元总结

目录JML自动化测试架构设计第一次作业第二次作业第三次作业Bug心得体会JMLJML(JavaModelingLanguage)是用于对Java程序规格化设计的一种表示语言，可以使得在编写程序之前，就预先规定每个函数的功能
dragonylee·2020-05-20 21:00

BUAA_OO_Summary_StageThree

一、JML语言理论基础JML简述JML(JavaModelingLanguage)是用于对Java程序进行规格化设计、行为接口规格语言（BehaviorInterfaceSpecificationLanguage
Kidleyh·2020-05-20 20:00

OO第三单元总结

JML理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
窜儿爱串儿·2020-05-20 20:00

第三单元实验博客

进行规格化的设计，相比于自然语言，JML的逻辑更严谨，避免了自然语言在描述规格时的二义性，同时JML还显示的表达除了方法的数学逻辑而不仅仅是方法的结果。
日月久照·2020-05-20 20:00

2020面向对象设计与构造 第三单元 博客总结

面向对象设计与构造第三单元总结一、JML规格化设计JML，全称TheJavaModelingLanguage，是用于对Java程序进行规格化描述的注释性质语言。笔者在本文总结了常见的JML语法描述。
Forever518·2020-05-20 16:00

OO第三单元总结

OO第三单元总结一、JML基础及工具链JML基础jml是用于对Java程序进行规格化设计的一种表示语言。简单地说，规格就是设计者、开发人员与用户的“三方协议”。
6yyh6·2020-05-20 15:00

OO-JML第三单无

OO-JML第三单无博客一、JML理论基础及应用工具链情况JML理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计、行为接口规格语言（BehaviorInterfaceSpecificationLanguage
我深信诸葛亮·2020-05-20 10:00

BUAA_OO_HOMEWORK_UNIT3_总结与反思

JML基础理论基础JML是用于对Java程序进行格式化设计的表示语言，其用处在于开展规格化设计，使得交给实现人员的不是较为模糊的自认语言，而是逻辑严格的规格。
infinity37·2020-05-20 00:00

OO第三单元总结

OO第三单元总结JML理论基础JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言(BehaviorInterfaceSpecificationLanguage，BISL),基于
p_wk·2020-05-20 00:00

OO第三次博客作业

语言介绍JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。
Potassium·2020-05-20 00:00

BUAA_OO_2020_第三单元总结

BUAA_OO_2020_第三单元总结JML理论基础简介JML(JavaModelingLanguage)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为
圆*·2020-05-19 16:00

5天实验 - 打造胶囊衣橱（1）

+胶囊衣橱指的是一种搭配术，上装和下装规格化统一化，可以随意搭配，以较少数量的衣服实现多种组合，像胶囊一样上下完美配合。+为何需要尝试？
島熏·2020-04-10 09:18

初问

在文字里的建造是我近来常干的活计，有几年的时间以为自己失业了（失去对文字的感知），整日只能待在堆满主流生活的流水线里，接受规格化的被迫包装。
拾念men·2020-04-10 07:36
上一页 3 4 5 6 7 8 9 10 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他