jml

OO第三单元总结

JML语言的理论基础什么是JML？JML是一种形式化的、面向JAVA的行为接口规格语言。JML拥有坚实的理论基础。JML使用Javadoc的注释方式。
MuZiShuiYi·2020-05-23 21:00

OO第三单元总结

JML是一种行为接口、规格语言（BehaviorInterfaceSpecificationLanguage，BISL），基于Larch方法构建。BISL提供了对方法和类型的规格定义手段。
ljy12138·2020-05-23 21:00

面向对象第三单元总结与心得体会

一、JML理论基础以及应用工具链（一）什么是JMLJML全称JavaModelingLanguage，是一种描述模块规格的语言。
zzy122530·2020-05-23 21:00

OO第三单元作业总结

OO第三单元作业总结一、JML语言JML语言的理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
Codingyzm·2020-05-23 21:00

面向对象第三单元作业反思与总结

本单元但是主题是JML的相关知识。
苏∴杭·2020-05-23 21:00

OO第三单元博客作业

OO第三单元博客作业JML语言的理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言，它使一种行为借口规格语言。
SpookyDreamer·2020-05-23 21:00

面向对象第三单元总结

1.JML语言的理论基础JML是一种行为接口规范语言，可以更准确地描述Java程序的行为。但是，大多数代码编写和测试仍由人来完成，但是用户体验不是很好，因为在使用过程中工具链的功能非常不完整。
梁河览·2020-05-23 21:00

OO第三单元

理论基础JML语法原子表达式\result表示方法的返回值\old(expr)expr在方法执行前的值\not_assigned(x,y,…)表示变量在方法执行过程中没有被赋值\nonnullelements
Plingpling#·2020-05-23 21:00

BUAAOOUnit3总结分析

OOUnit3总结分析目录OOUnit3总结分析JML理论基础注释结构JML表达式方法规格类型规格应用工具链OpenJMLJMLUnitNGJMLUnitNG/JMLUnit部署架构设计Task1Task2Task3BUG
JChris·2020-05-23 21:00

oo第三单元——社交网络

第三单元的作业背景是实现一个社交观关系模拟系统，主要训练了JML的阅读和理解能力，和图的一些数据结构和算法。
Nebula007·2020-05-23 21:00

OO第三单元总结

第三单元作业总结18373330张洪康JML语言的理论基础JavaModelingLanguage（JML）是一种java的规格描述语言，描述java类中各方法模块的行为，实现对java程序进行规格化设计的目的
18373330_张洪康·2020-05-23 21:00

BUAA_OO 第三单元JML规格作业总结

BUAA_OO第三单元JML规格作业总结本单元的三次作为均为根据jml规格完成代码。
SexyYxy·2020-05-23 21:00

OO第三单元总结

OO_第三单元总结1.JML语言的理论基础及其工具链JML语言的理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
明天星期六·2020-05-23 20:00

OO第三单元JML规格作业总结

OO第三单元JML规格总结1.JML理论基础和JML工具链1.1JML理论基础JML简介JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
犀利的高坚果·2020-05-23 20:00

面向对象程序设计第三单元总结

面向对象程序设计第三单元总结  本单元的作业背景是在给出的接口功能要求下根据JML规格进行程序设计，最终按照要求实现对于社交网络的模拟，主要进行学习的点在于接触到JML这个全新的用注释的方式来表达规格的方式
ZzZzYy·2020-05-23 20:00

OO第三单元总结

梳理JML语言的理论基础、应用工具链情况首先我们说一下契约式设计，契约式设计（DesignbyContract）是一种开发软件的新思路。
dzcq·2020-05-23 20:00

第三单元总结

一、JML语言理论基础及工具链1、JML语言理论基础JML语言是对java程序进行规格化的一种形式化的语言，是使用者和开发者都要遵从的一种契约。
white8·2020-05-23 20:00

OO第三单元总结

OO第三单元总结一、梳理JML语言的理论基础、应用工具链情况1、JML语言的理论基础JML语言确实是个好东西，JML是一种规格化的语言，JML采用了一种信任机制，通过JML语言，实现者信赖使用者一定是按照规格规定的条件来使用的
RiverTan·2020-05-23 20:00

第三单元总结

一、理论基础注释结构JML以javadoc注释的方式来表示规格，每行都以@起头。
habbbbbbq·2020-05-23 20:00

OO Unit3 总结

OOUnit3总结OO课Unit3人际关系网JML应用技术回顾BUAA.1823.邓新宇2020/5/23梳理JML语言的理论基础、应用工具链情况方法规格JML中，同一个方法在不同的条件下会产生不同的行为
SnowPhoenix·2020-05-23 20:00

OO第三单元总结

OO第三单元总结JML理论基础与工具链梳理JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。我们使用JML来描述Java模块的行为可以忽略其具体实现。
Asphodelus·2020-05-23 20:00

OO第三单元总结

一、JML相关知识JML是用于对Java程序进行规格化设计的一种表示语言。
WYO·2020-05-23 20:00

面向对象第三单元总结

1JML语言的基础及应用1.1JML语言Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。
ManGoStin·2020-05-23 20:00

OO第三单元总结

一、JML语言1.理论基础JML(JavaModelinglanguage)是用于程序进行规格化设计的一种表示语言。
kezi~·2020-05-23 20:00

OO第三单元总结

1JML概述1.1JML语言理论基础梳理先上一张思维导图，这是JMLlevel0下主要的语法由于JML手册中已经给出了详尽的规范，所以此处只叙述一下个人的理解：一般而言看JML可以先看他的类型规格，尤其是所属的类有什么成员变量
18231094·2020-05-23 19:00

OO_UNIT3_Summary

目录一、JML语言的理论基础与应用工具链JML语法二、JMLUnitNG/JMLUnit三、作业分析第一次作业第二次作业第三次作业总结四、bug与修复五、心得体会一、JML语言的理论基础与应用工具链JML
h789·2020-05-23 19:00

OO第三单元总结

BUAA_OO第三单元JML作业总结一、作业总结这三次作业是关于面向对象的规格的练习。这三次作业主要是关于一个社交网络的一个构建，作业主要任务就是按照JML规格对给出的一些函数进行完善。
Laffird·2020-05-23 19:00

OO第三单元总结

OO第三单元总结一、JML语言的理论基础及应用工具链（1）JML语言理论基础1.原子表达式：\result表示非void类型的方法执行所获得的结果，即方法执行后的返回值。
困于街头·2020-05-23 19:00

2020 OO 第三单元总结 JML语言

2110:10:06tags:OOcategories:学习第三单元终于结束了，这是我目前为止最惨的一单元，第十次作业强测20分，互测杀成狗……虽然都知道只关注分数没有什么意义，我更应该去体会的是通过JML
码呆·2020-05-23 19:00

OO第三单元总结

1.梳理JML语言的理论基础、应用工具链情况JML简介：JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
lyx1837·2020-05-23 19:00

OO第三单元总结

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

OO第三单元总结

JML语言的理论基础、应用工具链JML语言JML是一种面向JAVA，形式化的行为接口规格语言。
菓菓果子·2020-05-23 19:00

OO-Unit3-总结

OO第三单元JML总结一、JML理论基础与应用工具链1、JML理论基础JML是JAVAModelingLanguage的简称，主要用于对java程序进行规格化设计，是一种基于Larch方法构建的行为接口规格语言
陆开翔·2020-05-23 19:00

OO第三单元博客作业

OO第三次博客作业JML理论基础JML是用于对Java进行规格化设计的一种表示语言。JML一方面可以在测试时为开发人员提供逻辑严格规格以避免二义性，另一方面可以提高代码的可维护性。
无棱二面角·2020-05-23 19:00

BUAA_OO_2020_Unit3_Summary

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

OO第三单元总结

OO第三单元作业总结一，JML语言理论基础JML是对java程序进行规格化设计的一种语言，对于一个方法而言如果用JML语言进行规格化描述，我们只需要阅读JML就知道方法需要干什么，而不需要花时间阅读代码
汪鸿昊·2020-05-23 18:00

BUAA_OO 第三单元总结

1.JML基础梳理1.1注释结构JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。
alink16·2020-05-23 18:00

OO第三单元总结-JML

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

OO第三单元总结

JML理论基础和应用工具链JML定义JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
lpc??·2020-05-23 18:00

OO第三单元总结

OO第三单元总结JML基础语法JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。我理解的JML最大的特点在于它的逻辑严格的规格描述。
18375238·2020-05-23 18:00

OO第三单元总结——JML

OO第三单元总结——JML一、梳理JML语言的理论基础、应用工具链情况JML语言理论基础JML是一种形式化的、面向JAVA的行为接口规格语言（BehaviorInterfaceSpecificationLanguage
kkk7777·2020-05-23 17:00

OO第三单元总结

OO第三单元总结一、JML理论基础JML是设计者提供给开发者的说明书，除了消除自然语言的歧义和可供自动化测试，在大工程中规格注释可能是开发人员间效率最高的交流方式。
Gawson·2020-05-23 17:00

OO第三单元作业总结

梳理JML语言的理论基础、应用工具链情况JML语言是一种用于对Java程序进行规格化设计的表示语言，JML主要用于开展规格化设计、提高代码的可维护性。
jlysll·2020-05-23 17:00

北航OO(2020)第三单元博客作业

一、JML理论基础及相关工具链1.JML理论基础该部分梳理本单元作业中涉及到的JML知识。1.1注释结构JML采用javadoc注释的方式来表示规格，且每行以@开头。
8igfive·2020-05-23 17:00

OO第三单元总结（社交网络）

本次作业侧重于对JML与契约式编程的理解，考察十分偏重于算法和优化策略，本单元呈现出的新特点是中测和弱测约等于不测，强测十分强悍，而且取消了性能分，超时直接判错。
五年编程三年bug·2020-05-23 17:00

OO总结之JML社交模拟

OO总结之JML社交模拟JML基础梳理及工具链JMLUnitNG自动化测试作业架构梳理Bug综合分析规格相关心得与体会一.JML基础梳理及工具链1.1原子表达式\result表达式：表示一个非void类型的方法执行所获得的结果
R_Xiley·2020-05-23 17:00

BUAA_OO_Unit3_Review

OO_Unit2_Review一.JML语言的理论基础、应用工具链1.JML语言的理论基础JavaModelingLanguage（JML）是一种规范的注释语言，用于规定类的行为和接口。
Hofie·2020-05-23 17:00

OO第三单元总结

目录OO第三单元总结1梳理JML语言的理论基础、应用工具链情况1.1理论基础1.1.1表达式1.1.2方法规格1.1.3类型规格1.2应用工具链情况1.2.1openJML1.2.2JMLUnitNG2
AhaSokach·2020-05-23 17:00

OOUnit3

第三单元总结一、JML理论基础、应用工具链1.1理论基础1.1.1简述JML是实现数据抽象的一种规格语言，通过前置条件、后置条件、副作用、异常行为等来约束方法的预期功能，在实现方法代码前完成约束和设计。
のはら塩·2020-05-23 17:00

第三单元总结

1.理论基础这次接触了JML————进行规格化设计的一种语言，用来表示一个接口要干些什么事，相比直接用文字叙述，这样的方式更加规范，不会千人千面，读起来也不会很费劲，我一般是猜测它想要干什么，再去细读是不是我想的那样
陈鸿-18373205·2020-05-23 17:00
上一页 1 2 3 4 5 6 7 8 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他