何嘯[北京科技大學計算機科學與技術系副教授]

何嘯[北京科技大學計算機科學與技術系副教授]
更多義項 ▼ 收起列表 ▲

何嘯,北京科技大學計算機科學與技術系副教授,主要研究模型驅動的軟體工程,領域建模和領域語言,數據轉換等。主持國家自然科學基金項目《模型轉換靜態驗證方法研究》。

個人經歷

2006年畢業於北京大學,獲得計算機科學與技術專業理學學士學位。

2012年畢業於北京大學,獲得計算機軟體與理論專業理學博士學位。

2012年7月進入北京科技大學工作。

2015年至2016年赴荷蘭格羅寧根大學做訪問學者。

代表論文

[1] Xiao He, Zhenjiang Hu.Putback-Based Bidirectional Model Transformation. The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’18). Accepted for publication. CCF A

[2] Xiao He, Xing Chen, Sibo Cai, Ying Zhang, Gang Huang. Testing Bidirectional Model Transformation Using Metamorphic Testing. Information and Software Technology. (Accepted for publication). CCF B (JCR 2/2018)

[3] He Xiao, Zhang Tian, Hu Changjun, Ma Zhiyi, Weizhong Shao. An MDE Performance Testing Framework Based on Random Model Generation. Journal of Systems and Software, 2016, 121: 247-264. EI: 20162002402635, SCI:WOS:000384864500018. CCF B (JCR 2/2017)

[4] He Xiao, Zhang Tian, Pan Minxue, Ma Zhiyi, Hu Changjun. Template-based Model Generation. Software and Systems Modeling. 2017. (In Press). EI: 20174804477969. CCF B

[5] Xiao He, Paris Avgeriou, Peng Liang, Zengyang Li. Technical Debt in MDE: A Case Study on GMF/EMF-Based Projects. ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. October 02-07, 2016, pp. 162-172, Saint-Malo, France. http://dx.doi.org/10.1145/2976767.2976806. EI: 20170203232675. CCF B (The top conference of MDE)

[6] He Xiao, Hu Changjun, Ma Zhiyi, Shao Weizhong. A bidirectional-transformation-based framework for software visualization and visual editing. SCIENCE CHINA Information Sciences, 2014, 57(5): 1-23. EI: 20141817671210, SCI:WOS:000334860600013. CCF B

[7] Xiao He, Zhenjiang Hu, Yi Liu. Towards Variability Management in Bidirectional Model Transformation. The 41st Annual International Computers, Software & Application Conference (COMPSAC’17). July 4-8, 2017, pp. 224-233, Torino, Italy. EI: 20174304307016. CCF C

[8] HeXiao, Li Wenfeng, Zhang Tian, Liu Yi. Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. The 10th International Symposium on Theoretical Aspects of Software Engineering, 2016, pp. 57-64. EI: 20163902830789. CCF C

相關詞條

熱門詞條

聯絡我們