选择哪个依赖 javax包下都是jdk提供接口规范，由第三方服务器厂商自己来实现。 jsp api的依赖发生如下了2次迁移： javax.servlet.jsp api== javax.servlet.jsp.jsp api== javax.servlet.jsp.javax.servlet.jsp ...
分类：
编程语言 时间：
2019-06-14 18:23:09
阅读次数：
1770
SKF密码设备研究 密码设备 mToken GM3000 国密身份认证锁是龙脉科技自主研发设计支持国密算法、完全遵照国家密码管理局颁布的《智能IC卡及智能密码钥匙密码应用接口规范》要求设计的USB Key，采用国产高性能智能卡芯片，内置SSF33、SM1、SM2、SM3、SM4等国产算法，支持高速数 ...
分类：
其他好文 时间：
2019-06-02 21:50:59
阅读次数：
810
一、龙脉GMTools的使用 1、产品介绍 mToken GM3000 国密身份认证锁是龙脉科技自主研发设计支持国密算法、完全遵照国家密码管理局颁布的《智能IC卡及智能密码钥匙密码应用接口规范》要求设计的USB Key，采用国产高性能智能卡芯片，内置SSF33、SM1、SM2、SM3、SM4等国产算 ...
分类：
编程语言 时间：
2019-06-02 18:09:36
阅读次数：
341
1. 前言 随着互联网的高速发展，前端页面的展示、交互体验越来越灵活、炫丽，响应体验也要求越来越高。 后端服务的高并发、高可用、高性能、高扩展等特性的要求也愈加苛刻，从而导致前后端研发各自专注于自己擅长的领域深耕细作。 然而带来的另一个问题：前后端的对接界面双方却关注甚少，没有任何接口约定规范情况下 ...
分类：
其他好文 时间：
2019-06-01 20:00:59
阅读次数：
141
1.JML语言的理论基础，应用工具链情况 JML 预言是一种能够用于约束 Java 模块行为的行为接口规范语言。它以特殊格式的注释块形式写在java代码中，描述java类中各方法模块的行为，实现对java程序进行规格化设计的目的。 契约式设计(Design by Contract)要求软件设计者为软 ...
分类：
其他好文 时间：
2019-05-22 22:28:37
阅读次数：
185
梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规范语言，可以用于指定Java模块的行为。JML可以让我们对某个JAVA的行为进行规范，而不用真正地陷入到实现的细节中去。 JML的许多构造配合SMT Slover可以对代码进行形式化验证。 通过部署JMLUnitNG/JMLUnit可以 ...
分类：
其他好文 时间：
2019-05-22 20:56:09
阅读次数：
88
1.JML语言的理论基础和应用工具链情况 1）概述 JML是一种行为接口规范语言，其体现的是一种契约方法设计，也即在声明方法的时候，对输入和输出进行了一些规定，而从形式上jml是以javadoc注释的方式来写的，也即在注释块中每行的开头都是@。 2）结构 一段完整的JML，往往有如下几个结构requ ...
分类：
其他好文 时间：
2019-05-22 20:48:26
阅读次数：
90
(1)梳理JML语言的理论基础、应用工具链情况 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计 和Larch系列接口规范语言的基于模型的规范方法 ，以及细化演算一些元素 。 JML有标准的注释结构，由JML的语法表达式构成，有固定 ...
分类：
其他好文 时间：
2019-05-22 19:12:23
阅读次数：
82
一.JML语言 定义 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计 和Larch 系列接口规范语言的基于模型的规范方法 。 理论基础 JML是契约式语言的一种具体表现形式。 契约（Contact）：声明一个函数/方法的时候，对函 ...
分类：
其他好文 时间：
2019-05-22 19:06:38
阅读次数：
104
（一）梳理JML语言的理论基础、应用工具链情况 梳理JML语言的理论基础 在JML官网上，是这样定义JML的。 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计 和Larch系列接口规范语言的基于模型的规范方法 ，以及细化演算一些元 ...
分类：
其他好文 时间：
2019-05-21 20:53:12
阅读次数：
176
