1.梳理JML语言的理论基础、应用工具链情况 JML简介： JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL)，基于La ...
分类：
其他好文 时间：
2020-05-23 20:14:55
阅读次数：
50
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
1.什么是元组 元组就是一些对象的集合，在我们编程时，比如一个人的信息，我们常常创建一个Person类，然后创建属性去描述一个人的信息，传统做法就是这样： public class Person{ public int ID{get;set;} public string Name{get;set; ...
[toc] 单元内容 本单元的内容是实现一个社交关系模拟系统，通过各类输入指令来进行数据的增删查改等交互，具体内容如下： 实现自己的 Person 和 Network 类，进行简单关系的模拟 实现自己的 Group 类，丰富 Network 类，增加对分组关系的模拟 丰富 Network 类，增加对 ...
分类：
其他好文 时间：
2020-05-23 11:35:46
阅读次数：
55
JML理论基础 表达式 | 含义 : : | : : \result | 返回值 \old() | 原值 \not_assigned() | 值为“括号中变量没有被赋值”的真值 \not_modified() | 值为“括号中变量值没有发生变化”的真值 \nonnullelements() | 括号 ...
分类：
其他好文 时间：
2020-05-23 10:00:49
阅读次数：
54
过滤器模式（FilterPattern）或标准模式（CriteriaPattern）是一种设计模式，这种模式允许开发人员使用不同的标准来过滤一组对象，通过逻辑运算以解耦的方式把它们连接起来。这种类型的设计模式属于结构型模式，它结合多个标准来获得单一标准。实现我们将创建一个Person对象、Criteria接口和实现了该接口的实体类，来过滤Person对象的列表。CriteriaPatternDem
分类：
编程语言 时间：
2020-05-22 19:25:49
阅读次数：
54
JML语言的理论基础、应用工具链情况 JML 是用于 Java 的规格描述语言。我们使用 JML 来描述 Java 模块的行为，避免了对设计者意图的歧义。JML 的规格可以写到注释或者单独的文件中，所以带有 JML 规格的文件可以直接使用 Java 编译器来编译，而无需做出修改。 OpenJML 是 ...
分类：
其他好文 时间：
2020-05-22 19:07:48
阅读次数：
53
java.lang.object类 object是类层次层次结构的根类 每个类（person STUDENT...）都是用object作为父类 所有对象（包括数组）都实现这个类的方法 tostring方法 String toString()返回该对象的字符串表示 ...
分类：
编程语言 时间：
2020-05-22 17:08:27
阅读次数：
47
Java中对象类型的强制转换class person{ void f1() { System.out.println("person f1 is calling !"); } void f2() { f1(); }} class student extends person{ void f1() { ...
分类：
编程语言 时间：
2020-05-22 12:47:07
阅读次数：
97
在微软的Build 2020开发者大会中，微软就正在成形的C#9.0的一些即将添加的主要特性进行了说明。 1.init属性访问器 对象初始化方式对于创建对象来说是一种非常灵活和可读的格式，特别是对树状嵌入型对象的创建。简单的例如 new Person { FirstName = "Scott", L ...
