一、JML语言理论基础，应用工具链情况 1.1JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基 ...
分类：
其他好文 时间：
2019-05-22 20:45:46
阅读次数：
93
一、梳理JML语言的理论基础、应用工具链情况 JML概述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Lar ...
分类：
其他好文 时间：
2019-05-22 17:35:56
阅读次数：
95
解决SparkSQL部分报错
一、Caused by: org.datanucleus.store.rdbms.connectionpool.DatastoreDriverNotFoundException:
The specified datastore driver ("com.mysql.jdbc.Driver") was not found in the
CLASSPATH. Please check your CLASSPATH specification,
and the name of the driver.
二、Caused by: java.sql.SQLException: No suitable driver found for
jdbc:mysql://192.168.1.201:3306/hiveDB?createDatabaseIfNotExist=true
分类：
数据库 时间：
2019-05-21 22:40:25
阅读次数：
1664
恢复内容开始 JML 语言 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方法构建。它在Ja ...
分类：
其他好文 时间：
2019-05-21 21:13:16
阅读次数：
146
第三单元总结 JML相关 一 梳理JML语言的理论基础、应用工具链情况 JML是一种形式化的, 面向JAVA的行为接口规格语言( behavioral interface specification language) JML允许在规格中混合使用Java语法成分和JML引入的语法成分. JML主要是 ...
分类：
其他好文 时间：
2019-05-21 21:00:15
阅读次数：
126
A family hierarchy is usually presented by a pedigree tree. Your job is to count those family members who have no child. Input Specification: Each inp ...
分类：
其他好文 时间：
2019-05-20 21:27:17
阅读次数：
164
健壮性与安全性 什么是健壮性与安全性？ 如何衡量健壮性与安全性? 健壮性：系统或组件在存在无效输入或压力环境时一颗正确运行的程度。 健壮性编程关注异常终止和异常活动的处理。 健壮性原则：严于律己（满足specification），宽以待人（接受各种输入） 健壮性编程原则（把用户当做小孩） 1.用户会 ...
分类：
其他好文 时间：
2019-05-17 12:09:06
阅读次数：
152
1. Json-Rpc 2.0 参考地址：https://www.jsonrpc.org/specification JSON-RPC是一个无状态且轻量级的远程过程调用(RPC)协议，它允许运行在基于socket,http等诸多不同消息传输环境的同一进程中。其使用JSON（RFC 4627）作为数据 ...
分类：
其他好文 时间：
2019-05-03 18:46:57
阅读次数：
152
新建两个文件 第一个文件写操作程序，第二个文件写数据数量，类似于下图 鼠标聚焦在第一个文件中，点击工具栏的Model，选择Specification，然后点击check Moel，会有弹框出现 点击确定即可，点击之后即可看见下方出现一句英文：model is syntactically correc ...
分类：
其他好文 时间：
2019-04-23 09:14:43
阅读次数：
168
This time, you are supposed to find A+B where A and B are two polynomials. Input Specification: Each input file contains one test case. Each case occu ...
分类：
其他好文 时间：
2019-04-18 22:13:04
阅读次数：
161
