刘振宇
2008-07-27 00:00计算机学院本站原创(点击： )

??? 刘振宇，男，教授，?1962年11月生，硕士学位，南华大学计算机科学与技术学院软件工程系教师，硕士生导师，日本清華総合研究所作访问学者。主要研究方向为软件分析与建模、软件测试、信息化工程。
??? 近年来，在国内外重要期刊或国际会议发表学术论文20余篇，其中1篇被SEI收录；主持或主要参加国家自然科学基金、湖南省然科学基金、湖南省科技计划、湖南省教育厅科学研究课题10余项。
主要论文：
??? 1.?基于形式化方法的测试驱动开发研究，计算机工程与设计，2008.8
??? 2.?基于SOA的动态数据集成框架，?计算机与现代化，2008.03
??? 3.?基于AspectJ的面向方面切入点故障模型，计算机时代，2008.01
??? 4.?一种基于访问约束的数据同步技术,?微计算机应用,?2007．12
??? 5.?面向MVC++的测试驱动开发研究，计算机系统应用研究,?2006．12
??? 6.?基于极限编程的软件可维护性分析.?南华大学学报,?2006.9
??? 7.?软件开发过程与测试过程的协同工作模式.?微机发展,?2005.11
??? 8.?基于ISD4004语音芯片的语言学习机的设计，微计算机信息2004.7，
??? 9.?校园一卡通系统集成技术与应用，河南科技大学学报，2004.4
??? 10.?元搜索引擎查询结果的合成方法，POST-VLDB暨第十九届全国数据库学术会议论文集，2002.8
??? 11.?元搜索引擎系统合成算法的约束条件，软件学报，2002.7
??? 12.?Predicting?the?Goodness?of?Database?Groups?Based?on?Vector?Space?Model，Proceedings?of?APWEB’01?conference，2001.11
??? 13.?基于ＷＷＷ信息浏览区域的查询语言设计，计算机工程，2001.4
??? 14.?数据库服务器与ＷＷＷ之间的一种集成设计，微机发展，2001.3
??? 15.?基于浏览过程的LFU：一个新的WWW缓冲清理算法，计算机工程与应用，2000.6
??? 16.?Ｗｅｂ信息查询结果的区域性处理。计算机应用，2000.6
??? 17.?基于WWW浏览过程的最近最少使用算法，计算机应用，2000.5
??? 18.?基于ＷＷＷ用户浏览模式的路径提示算法，计算机工程，2000.5
??? 19.?WebGuide一个基于用户浏览模式的WWW导航系统，中南工学院学报，2000.2
??? 20.?基于模板的数据结构类属实现方法，计算机工程与应用，2000.2


主要项目：
??? 1.《分布强实时系统算法的研究》,国家自然科学基金子项
??? 2.《展德公司计算机综合信息管理及办公自动化系统》,横向课题?
????3.《软件工程人才培养研究》，南华大学高等教育改革与研究课题
??? 4.《数据结构课程教学流程的改革与实现》，校教研课题
??? 5.《MIS构件提取研究》,省教育厅课题
??? 6.《快速研制质量保证与可靠技术》,十五国防科技预研项目
??? 7.《南华大学校园一卡通方案设计》省教育厅课题
??? 8.《基于构件的软件测试方法研究》,南华大学研究生导师科研项目
??? 9.《基于复用环境的构件测试研究》,省教育厅课题?
????10.《程序断言动态生成技术》省自然科学基金课题
??? 11.《获取程序断言的测试方法研究》衡阳市科技项目