一、JML介绍 JML(Java Modelling Language)是一种用于描述Java程序方法的行为的语言。JML规格对方法的执行效果、执行条件和副作用等作出了明确的规定。 JML的相关工具链包括OpenJML、JMLUnit等，OpenJML可以对JML的正确性进行静态检验，以及对方法的正 ...
分类：
其他好文 时间：
2020-05-23 09:40:28
阅读次数：
65
一、JML规格与工具链应用 JML 概述 使用 JML 来说明性地描述所希望的类和方法的行为，可以显著地改善整个开发过程。将建模表示法添加到 Java 代码中，其好处包括以下几点： 能更加精确地描述代码所完成的任务 能有效地发现和纠正错误 能减少随着应用程序的进展而引入错误的机会 能较早地发现客户没 ...
分类：
其他好文 时间：
2020-05-23 09:39:40
阅读次数：
51
JML单元总结 JML理论基础及应用工具链 理论基础 JML设计源自契约式设计的需要，我个人的理解是它是一种功能要求的表述，要求写程序的人按照这个要求去实现功能。 1.方法规格 前置条件： 后置条件： 副作用：放在 之后，表示需要被修改的对象属性及类静态变量 pure方法：使用 ，表示该方法可以被其 ...
分类：
其他好文 时间：
2020-05-23 00:37:22
阅读次数：
55
1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 ...
分类：
其他好文 时间：
2020-05-22 21:38:10
阅读次数：
77
OO第三单元总结 [toc] 一、JML理论基础与工具链 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言，即JML限制了各个类的规格。JML是一种行为接口规格语言。我们目前学到的JML仅限于level0，还只是入门级而已。 1. 注释 ...
分类：
其他好文 时间：
2020-05-22 21:34:25
阅读次数：
63
JML语言的理论基础、应用工具链情况 JML 是用于 Java 的规格描述语言。我们使用 JML 来描述 Java 模块的行为，避免了对设计者意图的歧义。JML 的规格可以写到注释或者单独的文件中，所以带有 JML 规格的文件可以直接使用 Java 编译器来编译，而无需做出修改。 OpenJML 是 ...
分类：
其他好文 时间：
2020-05-22 19:07:48
阅读次数：
53
BUAA_OO_2020_UNIT3_Summary ? 本单元在阅读并理解JML规格的基础上，完成一个简单社交网络系统的迭代开发，该系统为实时在线系统，输入给出指令，需要及时给出正确的输出。训练重点为对规格的理解，数据结构和算法的选择，程序复杂度和时间的控制。 一、JML理论基础与应用工具链梳理 ...
分类：
其他好文 时间：
2020-05-22 17:20:50
阅读次数：
42
NXP eIQ 工具链梳理 1. 模型训练 mobilenet+ssd .pb yolo .weight 转 .onnx 2. graph transform / 量化 transform_graph 工具删除 模型中 pre/post processing 部分 graph split 将图分为定 ...
分类：
其他好文 时间：
2020-05-22 09:32:00
阅读次数：
109
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 ...
分类：
其他好文 时间：
2020-05-20 12:36:25
阅读次数：
79
