IDEA外部工具配置-OpenJML篇
关于外部工具引入 引入外部工具的大致原理是：在jetbrain中预设执行程序（Program）和程序执行参数（Arguments）。然后由jetbrain根据这些预设好的信息在terminal中生成 ...
原文：OpenJML入门
目录 OpenJML 获取 下载 使用 Linux Windows Parsing and Type checking Extended Static Checking Runtime Assertion Checking 参考 OpenJML 获取 下载 OpenJML下载可以通过其github仓库获取。传送门 使用 下载完成后，可以直接使用命令行进行操作，但是比较麻烦。这里提供两个版本的辅助 ...
2019-05-05 14:41 4 1209 推荐指数：
相关推荐
用Maven+IDEA+Eclipse组合获得最好的OpenJML体验
OpenJML+SMTSolver的形式化验证想必大家都已经尝试过了。大家或许体验的更多的是IDEA上命令行输出版本的OpenJML插件，但真正得到官方支持的完全版OpenJML是它的Eclipse版插件。Eclipse上的OpenJML可以轻松输出验证错误信息，提供问题代码高亮，提供全推导过程 ...
Thymeleaf入门（一）——入门与基本概述
一、概述 1.是什么 简单说， Thymeleaf 是一个跟 Velocity、FreeMarker 类似的模板引擎，它可以完全替代 JSP 。 2.feature ...
TiDB入门（四）：从入门到“跑路”
前言 前面三章基本把 TiDB 的环境弄好了，也做了一下简单测试，有兴趣的同学可以看一下： TiDB 入门（一）：TiDB 简介 TiDB 入门（二）：虚拟机搭建 TiDB-Ansible 部署方案 TiDB 入门（三）：简单测试 本来还有一些用 jmeter 压力测试的，后来测试的结果非常不好 ...
MyBatis入门（一）—— 入门案例
一、MyBatis简介 MyBatis是面向sql的持久层框架，他封装了jdbc访问数据库的过程，我们开发，只需专注于sql语句本身的拼装，其它赋值的过程全部可以交给MyBatis去完成。 ...
Thymeleaf入门（一）——入门与基本概述
一、概述 1.是什么 简单说， Thymeleaf 是一个跟 Velocity、FreeMarker 类似的模板引擎，它可以完全替代 JSP 。 2 ...
OpenGL入门之入门
programs on the GPU-------shader 顶点着色器--》形状（图元）装配--》几何着色器--》光栅化--》片段着色器--》测试与混合 图形渲染管线的第一个部分是顶点 ...