馆藏期刊(10)
CNKI会议论文(1)
CNKI学位论文(113)
知网期刊论文(94)
中图分类法(113)
马克思主义、列宁主义、毛泽东思想、邓小平理论(1)
哲学、宗教(2)
政治、法律(23)
经济(1)
文化、科学、教育、体育(1)
艺术(1)
生物科学(1)
工业技术(84)
在“
CNKI学位论文
”中,
命中:
113
条,耗时:小于0.01 秒
在所有数据库中总计命中:
218
条
1.
基于区间线性抽象域的可靠浮点及非凸静态分析
作者:
陈立前
关键词:
静态分析
;
抽象解释
;
数值抽象域
;
多面体
;
浮点
;
区间线性系统
论文级别:
博士
学位年度:2010
2.
基于缺陷模式的软件测试技术研究
作者:
王雅文
关键词:
软件测试
;
静态分析
;
缺陷模式
;
抽象解释
;
值范围分析
;
区间代数
;
区间集
;
路径敏感
;
误报率
;
漏报率
论文级别:
博士
学位年度:2009
3.
教育代价论
作者:
周晓红
关键词:
现代教育
;
教育代价
;
教育发展代价
;
教育过程代价
;
教育管理代价
;
教育代价控制
论文级别:
博士
学位年度:2010
4.
适用中的民法解释研究
作者:
杨育正
关键词:
民法解释
;
民法适用
;
解析
;
建构
论文级别:
博士
学位年度:2009
5.
复杂安全协议的建模与验证
作者:
周倜
关键词:
安全协议
;
建模
;
验证
;
反例构造
;
不停机性预测
;
抽象
;
精化
;
时间敏感
;
约束系统
;
Kerberos协议
论文级别:
博士
学位年度:2008
6.
面向领域的软件需求一致性验证方法研究
作者:
刘刚
关键词:
需求验证
;
需求形式化
;
需求一致性
;
需求度量
;
面向领域
论文级别:
博士
学位年度:2008
7.
指导性行政案例研究
作者:
李瑰华
关键词:
指导性行政案例
;
行政判例
;
法律适用
;
双轨制
;
司法解释
论文级别:
博士
学位年度:2010
8.
基于实时规约的测试预言自动生成技术的研究
作者:
王馨
关键词:
侧试预言
;
带接收状态的时间自动机
;
度量区间时序逻辑
;
最差情况执行时间
论文级别:
博士
学位年度:2005
9.
面向C程序验证的切片执行方法
作者:
易晓东
关键词:
切片执行
;
模型检验
;
时序安全性质
;
C程序验证
;
变量抽象
;
部分最强后置条件
;
部分最弱前置条件
;
有状态动态偏序缩减
论文级别:
博士
学位年度:2006
10.
实时系统最差情况执行时间分析的研究
作者:
姬孟洛
关键词:
实时系统
;
WCET分析
;
抽象解释
;
程序模式
;
面向对象程序
;
多态性
;
测试预言
;
时间修正
论文级别:
博士
学位年度:2006
1
2
3
4
5
6
7
8
9
按检索点细分(113)
题名(3)
目录(51)
关键词(19)
摘要(44)
引文(57)
按论文级别细分(113)
博士(37)
硕士(76)
按学位年度细分(113)
2002年(1)
2003年(1)
2004年(4)
2005年(5)
2006年(3)
2007年(7)
2008年(11)
2009年(13)
2010年(19)
2011年(29)
2012年(12)
2013年(7)
2014年(1)