教师信息

姓名 刘春 性别 职称 副教授
办公电话                           电子信箱   liuchun@henu.edu.cn                          
系室分类 软件工程系
个人主页                            
研究方向:
软件数据挖掘,机器人软件,基于深度学习的智能计算                           
教育及工作经历:
2012年毕业于中国科学院,获计算机软件与理论博士学位
2012至今任河南大学计算机与信息工程学院副教授
2014年8月至2015年7月,英国OPen University 访问学者
社会及学术兼职:
暂未填写
奖励及荣誉:
2014 河南大学教学质量二等奖
主讲课程:
软件工程导论、软件测试、现代软件工程
论文著作:
1)刘春,黄冉冉,张伟,赵海燕,金芝, 信息物理融合系统的软件需求分析, 计算机学报,2016
2)刘春,黄冉冉,韩道军,基于目标的信息物理融合系统事件模型的分析, 2016全国软件与应用技术学术会议(NASAC’16)、计算机科学
3)一种目标驱动的软件游戏化分析方法, 王雅倩,刘春,俞一俊,金芝,小 型 微 型 计 算 机 系 统, 2016
4)一种目标驱动的移动业务流程的分析方法,刘春,刘勇,王雅倩,韩道军,计算机科学,2016
5)刘春,张伟,赵海燕,金芝,基于反馈控制的软件适应性需求的识别与分析, 软件学报,2015, 26(4):713−729
6)Chun Liu, Yue Wang, Wei Zhang, Zhi Jin, Eliciting and Modeling Dependability Requirements: a Control Cases based Approach, Science China Information Sciences, 57(1):1-15, 2014.
7)Chun Liu, Wei Zhang, Haiyan Zhao, Zhi Jin, Analyzing Early Requirements of Cyber-Physical Systems Through Structure and Goal Modeling, Proc. 20th Asia-Pacific Conf. on Software Engineering (APSEC’13), pp.535-542, 2013.
8)刘春,张伟,赵海燕,金芝,一种“用例+控例”驱动的软件分析与设计方法,软件学报,4: 675-695, 2013.
9)Chun Liu, Wei Zhang, Haiyan Zhao, Zhi Jin, A Problem-oriented Approach for Modeling Feedback Loops for Self-Adaptive Software Systems, Proc. 19th Asia-Pacific Conf. on Software Engineering (APSEC’12), pp.440-445, 2012.
10)王越, 刘春, 张伟, 金芝, 知识引导的软件可信性需求提取,计算机学报,34(11):2165-2175, 2011.
11)Chun Liu,Yue Wang, Wei Zhang, Zhi Jin, Elicitation of Dependability Requirements: a HAZOP-based Approach, Proc. 18th Int. Conf. on Requirements Engineering (RE’10), pp.407-408, 2010.
12)刘春, 王越, 金芝, 基于知识的软件可信性需求获取,电子学报, 38(2):188-193, 2010.
13)Chun Liu, Yue Wang, Zhi Jin, Elicit the Requirements on Software Dependability: a Knowledge-based Approach, Proc. 16th Asia-Pacific Conf. on Software Engineering (APSEC’09), pp.233-240, 2009.
科研项目:
主持:
1)2016年开封市公安局杏花营分局:移动社区警务系统开发
2)2013年国家自然科学基金青年基金项目:基于控制论的软件适应性需求的建模与分析方法研究
3)2013年北京大学高可信软件技术教育部重点实验室开放课题:信息物理融合系统中软件需求获取与建模方法研究
4)2014年中国博士后基金面上项目:信息物理融合系统早期的需求分析与建模方法研究
5)2014河南省教育厅科技攻关项目:信息物理融合系统建模方法研究
6)河南大学科研基金项目:基于控制论的软件自适应需求分析与建模研究,25万元,2015.01-2019.12
参与:
1)2013国家自然科学基金青年基金项目:分布式移动通信场景下的参数化信道建模与预测优化机制研究
2)2013国家民航局空中交通管理局基础研究项目: 民航新一代信息处理和传输基础框架研究
专利:
基于控例的软件可信性需求提取方法(CN102253886B), 刘春, 王越, 张伟, 金芝, 2013.12
其他
暂未填写