Component-based software engineering, model-driven software development, software formal method, biological computing
|Short Bio：||I am a teacher in the College of Computer Information and Engineering at Jiangxi Normal University, Nanchang, China. I graduated from Institute of Software, Chinese Academy of Sciences in 2010 and gained PhD degree of computer software and theory. Now my main research interests include model-driven software development, component-based software engineering, and software formal method.|
1. Haihe Shi, Jinyun Xue. Research on Automated Sorting Algorithms Generation Based on PAR. Journal of Software, 2012,23(9):2248-2260 (in Chinese with English abstract).
1. “Efficient Dynamic Programming in Biosequence Analysis via Formal Components Assembly under PAR Framework”, National Natural Science Foundation of China (No. 61662035), 2017-2020.
2. “Model-driven Automated Generation for Highly-reliable Graph Algorithm Components”, National Natural Science Foundation of China (No.61363013), 2014-2017.