杨春花
发布时间: 2017-08-25 浏览次数: 1645
 

姓名

杨春花

性别

出生年月

1974.2

学历

博士研究生

毕业时间

2010.12

专业

计算机软件与理论

电话

 0531-89631256

邮编

250353

E-Mail

ych@qlu.edu.cn

单位

齐鲁工业大学信息学院

通信地址

济南市长清大学园区大学路

  

个人简历:


    杨春花,教授,博士,硕士生导师。1995年本科毕业于山东工业大学计算机系,进入山东轻工业学院任教至今。期间分别于2002年和2010年获得山东大学计算机科学与技术学院计算机软件与理论硕士和博士学位。2014.9-2015.9期间,受国家留学基金委资助,对美国加州大学圣克鲁兹分校(University of California Santa Cruz)进行了为期1年的访学。主要研究方向包括:面向方面的软件建模、状态方面的编织、代码变更分析、软件演化等。先后主持山东省自然科学基金1项,参与国家自然科学基金2项。发表相关研究论文10余篇,其中1篇分别发表在《计算机学报》,1篇发表在SCI收录期刊《Journal   of Information Science and Engineering》,其余发表在EI收录的期刊或会议论文集上。此外,在美访学期间,对大规模软件变更产生的原因及变更理解产生了浓厚的情趣,目前相关研究工作正在逐步展开。

  

主要论文:

  

[1]Chunhua Yang, Haiyang Wang. An approach   to weaving stateful aspects using LTS. Journal of Information Science and   Engineering. 2011,27(4): 1395-1411.SCI收录

[2]杨春花, 王海洋.体系结构层状态型方面的建模与编织-基于LTS的方法.计算机学报.2011,34(2): 342-352.   EI收录

[3]Chunhua Yang, Haiyang Wang. Formal Models for Architecture Aspects   and Their Weaving. Journal of Software.2008,3(9): 52-59. EI收录

[4]Chunhua Yang, Haiyang Wang. towards a classfication of aspects. Pro.   of ETCS 2009. vol.1,pp.508-512. EI收录

[5]Chunhua Yang, Jiancheng Wan. A Formal Approach to Specifying   Architecture Aspects and Their Weaving logic. Pro. of SNPD 2007. vol. 2, pp. 640-645.   EI收录

[6]Chunhua Yang, Jiancheng Wan. An Approach to Separating Security   Concerns in E-Commerce Systems at the Architecture Level. Pro. of ISECS 2008.   pp.749-753. EI收录

[7]Chunhua Yang, Haiyang Wang. A Process Algebra Based Aspect Weaving   Model. Pro. of CSSE 2008. vol.2, pp.60-63. EI收录

[8]Chunhua Yang. Towards a Framework for Reasoning about Aspect   Weaving Impact. Pro. of CSSE 2008, vol.2, pp.73-76. EI收录

[9]Chunhua Yang. Analyzing The Influences of Aspect Weaving on   Software System Behavior. Pro. of WISA 2009, pp.234-237. ISTP收录

[10]Chunhua Yang. Specifying Model-based Aspect Weaving Semantics,   Journal of Information & Computer Science, 2012, 9(18): 5815-5822. EI收录

[11]Chunhua yang. Detecting and evaluating semantic influences of   aspect weaving in aspect oriented models, Journal of Software, 2013, 8(11):   2675-2681. EI收录

[12]Chunhua yang. A formal semantics for stateful aspect weaving,   Journal of Information and Computational Science, 2013, 10(8): 2429-2436. EI收录

[13]Chunhua Yang. Sequential weaving and behavior semantics impact analysis   for aspects, Proc. of 2012 Spring World Congress on Engineering and   Technology(SCET), 2012, pp.160-163, May 27-30, 2012, Xi’an, China. EI收录

  

主持的项目:

      1.山东省自然科学基金项目,“软件体系结构状态方面的形式化编织方法研究” (项目编号:ZR2011FQ017,2011.7-2014.7),已结题。