时间戳
时间戳
首页
站长
网站Gzip压缩检测
网站死链检测
Whois查询工具
ICP网站备案查询
Meta标签优化分析
网页关键词密度检测
HTTP状态码查询
微信域名检测工具
htaccess转nginx
生成网页Meta标签
生成桌面快捷方式
rem与px转换工具
在线制作ico图标
在线图片免费压缩
在线定时刷新网址
在线调色板
RGB颜色查询
代码对比/归并
JSON工具
Json格式化
Json格式化(上下)
Json格式化(左右)
Json在线压缩转义
Json生成C#实体类
Json生成Java实体类
Json生成Go结构体
SQL转Java实体类
XML和Json在线互转
Excel/CSV转Json格式
Json转Excel/CSV格式
JSON和GET参数互转
JSON转YAML
格式化转换
HTML格式化/压缩
CSS格式化/压缩
JS格式化/压缩
JS加密/解密
JS代码混合加密
SQL压缩/格式化
PHP代码格式化工具
XML压缩/格式化
Html/JS互转
Html转义工具
Html转C#/JSP
Html转PHP代码
Html转ASP/Perl
Excel转HTML表格
Html表格生成器
HTML/MarkDown互转
正则表达式测试工具
正则生成代码
Html过滤工具
运行Js/html/css
Xpath工具
加解密编码
MD5加密工具
URL网址16进制加密
迅雷旋风URL加解密
Base64加密/解密
Escape加密/解密
对称加密/解密
SHA/SHA256加密
散列/哈希加密大全
摩尔斯电码加解密
密码生成器
UUID在线生成
GUID在线生成
条形码生成器
IP/数字地址转换
图片转Base64
UTF-8转GBK
Unicode/ASCII转换
ASCII编码/解码
URL编码/解码
KeyCode键盘按键码
Android按键码
键盘测试工具
网络
IP地址归属地查询
Websocket测试
获取浏览器信息
公共DNS
各地区公共DNS
文本数字
Html在线编辑器
文章自动排版
文章内容采集
简繁字体转换
汉字转为拼音
火星文转换器
文本内容替换
文本内容对比
在线统计字数工具
内容去重工具
文字特效工具
字符串文本压缩工具
驼峰与下划线互转
全角半角转换
英文字母大小写转换
人民币大写转换工具
随机数生成器
Unix时间戳在线转换
常用进制转换工具
RGB颜色在线转换
计算
利率计算器在线
子网掩码计算器
在线科学计算器
对照列表
常用User-Agent
Content-Type对照表
Request请求大全
HTTP请求头大全
HTTP状态码
ASCII对照表
HTML特殊字符转义
常见端口大全
Bootstrap字体图标
Android Manifest权限大全
Linux常用命令大全
其他
在线涂鸦画板
在线时钟
世界各地时间
世界各国首都查询
世界各地货币查询
世界各国区号时差查询
世界节日查询
全国少数民族分布查询
中国历史朝代时间查询表
特殊符号大全
历史上的今天
方案
文章
首页
>
技术文章
> OO_BLOG3_规格化设计(JML学习)
OO_BLOG3_规格化设计(JML学习)
FUJI-Mount
2019-05-22 12:17
原文
目录
JML语言学习笔记
理论基础
1. 注释结构
2. JML表达式
3. 方法规格
4. 类型规格
应用工具链情况
1. OpenJML & SMT Solver
2. JMLUnitNG
3. JMLdoc
4. Junit
JMLUnit/JMLUnitNG
1. 前期准备
2. 命令行操作
3. 测试结果
4. 结果分析
UNIT3 作业分析
作业 3-1 实现两个容器类Path和PathContainer
1. 架构设计
1)度量分析
2)结构分析
3)算法分析
2. BUG分析
1)bug情况
2)修复情况
作业 3-2 实现容器类Path和数据结构类Graph
1. 架构设计
1)度量分析
2)结构分析
3)算法分析
4)迭代中对架构的重构
2. BUG分析
1)bug情况
2)修复情况
3)前后对比
作业 3-3 实现容器类Path,地铁系统类RailwaySystem
1. 架构设计
1)度量分析
2)结构分析
3)算法分析
4)迭代中对架构的重构
2. BUG分析
1)bug情况
2)修复情况
规格撰写的心得与体会
最后,衷心感谢为这门课程辛苦付出的老师和助教。
1
2
推荐阅读
数据结构与算法笔记
MySQL多表查询与子查询
sql注入
php从入门到大佬
kali linux与虚拟机Vmware安装vmware tools(主机与虚拟机的文件拖拽)
远程云主机复制文件到本地主机,传输问题!
Initialization failed for 'https:start.spring.io' Please check URL, network and proxy settings.
-bash: locate: command not found
MySQL下载
启动spring boot时yaml报错