论文降重
免费查重
推荐文章
基于语法树的程序正确性验证模型及算法设计
程序正确性验证
树匹配
路径查询
匹配度
一种基于程序正确性证明理论的程序开发方法
程序的形式推导方法
程序规范
循环不变式
程序正确性证明方法探论
正确性
形式化
程序正确性测试的相关技术进展
程序测试
黑箱测试
白箱测试
分布式程序测试
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2013(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
程序正确性
用户体验
移动互联网
软件产品
网络服务
质量观念
更新周期
软件工程
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
网络运维与管理
主办单位：
出版周期：
其它
ISSN：
1671-2919
CN：
开本：
出版地：
邮发代号：
创刊时间：
语种：
出版文献量（篇）
5157
总下载数（次）
23
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
网络运维与管理2013年第9期
网络运维与管理2013年第8期
网络运维与管理2013年第7期
网络运维与管理2013年第6期
网络运维与管理2013年第5期
网络运维与管理2013年第3期
网络运维与管理2013年第24期
网络运维与管理2013年第23期
网络运维与管理2013年第22期
网络运维与管理2013年第21期
网络运维与管理2013年第20期
网络运维与管理2013年第2期
网络运维与管理2013年第19期
网络运维与管理2013年第18期
网络运维与管理2013年第17期
网络运维与管理2013年第16期
网络运维与管理2013年第15期
网络运维与管理2013年第14期
网络运维与管理2013年第13期
网络运维与管理2013年第12期
网络运维与管理2013年第11期
网络运维与管理2013年第10期
网络运维与管理2013年第1期
