JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
OO_Unit2_Review 一.JML语言的理论基础、应用工具链 1.JML语言的理论基础 Java Modeling Language（JML）是一种规范的注释语言，用于规定类的行为和接口。 JML的优点： 1、其规范性不仅使得注释更加准确。 2、同时凭此我们也可以借助JML的工具链来对某个类 ...
分类：
其他好文 时间：
2020-05-23 18:23:50
阅读次数：
48
Part 1 JML总结 Section 1 理论基础 The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior ...
分类：
其他好文 时间：
2020-05-23 16:31:52
阅读次数：
40
一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
[toc] OO 第三单元 JML给我上了一课 一、JML语言的理论基础 最开始接触接口的时候，我的直观感受就是“这好像没啥用啊”，它只定义了一些行为的参数和返回值，但是对于实现这些行为帮助不大。转念一想，哦，可以把一些关键的内容写在注释里。这样的注释当然可以用自然语言来写，但是JML提供了另一种思 ...
分类：
其他好文 时间：
2020-05-23 11:40:50
阅读次数：
59
BUAA_OO_2020_UNIT3_Summary ? 本单元在阅读并理解JML规格的基础上，完成一个简单社交网络系统的迭代开发，该系统为实时在线系统，输入给出指令，需要及时给出正确的输出。训练重点为对规格的理解，数据结构和算法的选择，程序复杂度和时间的控制。 一、JML理论基础与应用工具链梳理 ...
分类：
其他好文 时间：
2020-05-22 17:20:50
阅读次数：
42
BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述，精确地描述了代码的功能，并且为测试设计提供了严密的依据。尤其在多人协同开发的时候，相比可能带有内在模糊性的自然语言描述，JML能过更清晰地 ...
分类：
其他好文 时间：
2020-05-22 12:43:52
阅读次数：
55
第三单元我们对JML进行了学习，并加深了对形式化设计的理解。本单元通过给定的JML来实现了一个人际关系网，最后实现了一个人际关系管理网络，表示了人与人之间的关系，人所在群组，人与人之间的借贷关系，以及离散数学中的连通，强连通，最短通路等关系。 一、JML理论基础 JML是对java程序进行规格化设计 ...
分类：
其他好文 时间：
2020-05-22 11:17:54
阅读次数：
53
[TOC] Part 1 JML 规格（specification） 规格既是一种描述，也是一种契约。一方面，规格描述了一个复杂的、具体的代码实现的行为逻辑。比如，使用 的用户并不需要知道该类解决哈希冲撞的具体方法，也不需要知道这个类会不会使用红黑树。这极大地方便了使用者。另一方面，规格是调用者和被 ...
分类：
其他好文 时间：
2020-05-21 21:10:01
阅读次数：
59
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 ...
分类：
其他好文 时间：
2020-05-20 12:36:25
阅读次数：
79
