刘树锟
【姓名】 刘树锟
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】 软件工程
【发表文献关键词】 契约式,断言,程序不变量,程序动态分析,技术研究,程序设计,前置条件,后置条件,程序质量,软件质量,编译器,代码,动态分析方法,设计文件,维度,软件系统,分析技术,约束条件,源程序,实例,
【工作单位】 南华大学
【曾工作单位】 南华大学;
【所在地域】 湖南衡阳
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 1 3 4 16 460
中国期刊全文数据库    共找到3篇
[1]刘树锟;阳小华;.动态不变量检测工具Daikon的分析及运用[J]电脑开发与应用.2006,(01)
[2]刘树锟;阳小华;罗江琴;刘杰;.基于合约的似然程序不变量动态发现[J]微计算机信息.2006,(30)
[3]刘树锟;阳小华;刘杰;罗江琴;.基于契约的程序动态分析技术研究[J]计算技术与自动化.2006,(04)
更多
中国优秀硕士学位论文全文数据库    共找到1篇