OO第三单元总结 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 本章通过给出JML规格让我们来实现以学习这种规格化的语言，同样的也学习了怎样根据代码补充规格，在学习JML的过程中，能感受到规格化设计带来的逻辑的严谨性。 JML表达 ...
分类：
其他好文 时间：
2020-05-23 20:00:43
阅读次数：
46
OO第三单元——JML 一、梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言（Behavior Interface Speci?cation Language，BISL），基于Larch方法构建 。BISL提供了对方法和类型的规格定义 ...
分类：
其他好文 时间：
2020-05-23 18:50:55
阅读次数：
48
[TOC] OO第三单元总结 1 梳理JML语言的理论基础、应用工具链情况 1.1 理论基础 ? JML是用于对Java程序进行规格化设计的一种表示语言。使用JML，能够描述一个方法预期的功能而不管如何实现，先设计类和接口，推迟了过程性的思考。JML以javadoc注释的方式来表示规格，有两种注释方 ...
分类：
其他好文 时间：
2020-05-23 18:39:41
阅读次数：
46
1.理论基础 这次接触了JML————进行规格化设计的一种语言，用来表示一个接口要干些什么事，相比直接用文字叙述，这样的方式更加规范，不会千人千面，读起来也不会很费劲，我一般是猜测它想要干什么，再去细读是不是我想的那样，以下列举一下JML的规范： + 原子表达式 \result：表示返回值。 \ol ...
分类：
其他好文 时间：
2020-05-23 18:36:12
阅读次数：
49
一、JML语言 1.理论基础 1.规格化设计 类是一个编程单位，类规格定义了类实现者和类使用者之间的契约：类实现者信任使用者能够确保所有前置条件都能被满足，类使用者信任设计者能够有效管理相应的数据和访问安全。通过这样规格契约的连接，系统的较低层次为系统的较高层次提供了服务接口，从而协同系统不同层次的 ...
分类：
其他好文 时间：
2020-05-23 18:05:26
阅读次数：
41
第三单元总结 一、JML理论基础、应用工具链 1.1 理论基础 1.1.1 简述 JML是实现数据抽象的一种规格语言，通过前置条件、后置条件、副作用、异常行为等来约束方法的预期功能，在实现方法代码前完成约束和设计。 1.1.2 基本语法 前置条件 表示调用一个方法前所必须满足的要求，该要求需要由方法 ...
分类：
其他好文 时间：
2020-05-23 18:02:53
阅读次数：
53
OO第三单元总结 一、JML理论基础 JML是设计者提供给开发者的说明书，除了消除自然语言的歧义和可供自动化测试，在大工程中规格注释可能是开发人员间效率最高的交流方式。 JML设定规格，同时有比较高的自由度，如类型规格不限制层次继承结构的设计（满足规格继承前提），抽象数据类型不限制实际使用的数据结构 ...
分类：
其他好文 时间：
2020-05-23 18:02:00
阅读次数：
58
OO第三单元总结 1. JML基础梳理及工具链 1.1 注释结构 JML以javadoc注释的方式来表示规格， 每行都以@起头 行注释 的表示方式为 ； 块注释 的表示方式为 1.2 JML表达式 ? JML相对于Java新增的表达式成分仅用于JML中的断言(assertion)语句和其他相关的注释 ...
分类：
其他好文 时间：
2020-05-23 16:10:54
阅读次数：
38
[TOC] JML初步 JML引导 ? JML是一种形式化的、面向JAVA的行为接口规格语言。 简而言之，即是一份老板给下属员工的任务表，告诉你什么情况应该得到什么的结果，你能使用什么工具，不能使用什么工具。而显然的是，我们就是这样的员工，读懂了老板分配的任务，就开始干活。至于怎么干，老板并不关心， ...
分类：
其他好文 时间：
2020-05-23 15:04:21
阅读次数：
42
OO课程学习第二单元的分析、总结与收获：JML规格理解与代码实现 ...
分类：
其他好文 时间：
2020-05-23 14:59:28
阅读次数：
54
