一、JML语言理论基础，应用工具链情况 1.1JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基 ...
分类：
其他好文 时间：
2019-05-22 20:45:46
阅读次数：
93
恢复内容开始 "CSDN博客链接" @[toc] 一、JML语言的理论基础及应用工具链 （一）定义： JML(Java Modeling Language)：对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Speci?cation L ...
分类：
其他好文 时间：
2019-05-22 20:44:12
阅读次数：
103
规格化设计——OO第三单元总结 一、JML语言理论基础、应用工具链 1.1 JML语言 ? JML（java modeling language）是一种描述代码行为的语言，包括前置条件、副作用等等。JML是一种行为接口规格语言 （Behavior Interface Speci?cation Lan ...
分类：
其他好文 时间：
2019-05-22 19:16:48
阅读次数：
116
一、梳理JML语言的理论基础、应用工具链情况 JML概述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Lar ...
分类：
其他好文 时间：
2019-05-22 17:35:56
阅读次数：
95
第一部分：JML小结 一、入门关键字小结 1.引导词： requires ：接下来部分的入口要求 assignable ：在该程序中可修改的变量 ensures ：后面是对该函数运行结束后的要求 also exception_behavior ：接下来是出现异常的处理部分 signals ： 对应抛 ...
分类：
其他好文 时间：
2019-05-22 15:55:46
阅读次数：
99
恢复内容开始 JML 语言 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方法构建。它在Ja ...
分类：
其他好文 时间：
2019-05-21 21:13:16
阅读次数：
146
JML语言理论基础 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。JML是一种行为接口规格语言 （Behavior Interface Speci?cation Language，BISL），基 ...
分类：
其他好文 时间：
2019-05-20 21:10:00
阅读次数：
107
mainContent.scroll({ top: sections[val].offsetTop - 150, left: 0, behavior: "smooth" //滚动条平滑滚动 }); ...
分类：
Web程序 时间：
2019-05-10 12:51:25
阅读次数：
150
1.2.2 VDISPUser subroutine to specify prescribed boundary conditions. 1.2.5 VFABRICUser subroutine to define fabric material behavior. 1.2.3 VDLOADUse ...
分类：
其他好文 时间：
2019-04-23 21:21:35
阅读次数：
175
一、数据集 网站用户购物行为数据集2030万条，包括raw_user.csv(2000万条)和small_user.csv(30万条，适合新手) 字段说明： user_id 用户编号，item_id 商品编号，behavior_type 用户操作类型：1(浏览)、2(收藏)、3(加入购物车)、4(购 ...
分类：
Web程序 时间：
2019-04-19 09:11:57
阅读次数：
495
