刘树锟
【姓名】 刘树锟
【职称】 高级工程师;
【研究领域】 计算机软件及计算机应用;计算机硬件技术;高等教育;
【研究方向】 软件工程、数据库技术
【发表文献关键词】 程序不变量,Java建模语言,重载,行为接口规范语言,契约,程序断言,前置条件,后置条件,理论模型,生成技术,动态,运行轨迹,分析程序,测试用例,主要问题,检测程序,分析方法,程序代码,推理,提取,
【工作单位】 湖南涉外经济学院
【曾工作单位】 湖南涉外经济学院;
【所在地域】 湖南长沙
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/14 9 13 8 49 1658
中国期刊全文数据库    共找到14篇
[1]文雄军;刘树锟;廖曙光;.智能公交系统电子站牌的研究与设计[J]湖南师范大学自然科学学报.2012,(05)
[2]陈继锋;彭浩;刘树锟;.计算机学科“动态能力集”工学结合订单式人才培养探讨[J]教育教学论坛.2012,(23)
[3]刘树锟;阳小华;.程序不变量检测技术[J]计算机工程与科学.2011,(03)
[4]刘树锟;陈振;文雄军;梁华;.应用型民办院校程序设计教学方式探讨[J]计算机教育.2011,(24)
[5]刘树锟;莫正杰;吴沛林;黄小波;.基于Java建模语言的不变量检测工具[J]电脑开发与应用.2012,(05)
[6]段珊;张修如;刘树锟;王金娟;.一种故障树向BDD的转化方法[J]计算机工程与应用.2009,(21)
[7]刘树锟;阳小华;陈继锋;彭浩;.程序断言动态检测工具的设计与实现[J]计算机应用研究.2009,(11)
[8]彭浩;王雅琳;刘树锟;.优化OBDD性能的变量量化调度算法研究[J]计算机应用与软件.2010,(03)
[9]陈继锋;刘树锟;王志海;.面向路径的测试数据自动生成工具的设计[J]计算机工程与应用.2010,(15)
[10]蒋桂莲;刘树锟;.基于粗糙集边界的v-支持向量机混合分类算法[J]计算机与现代化.2010,(08)
更多