Educational Background: 2008/9 - 2011/6,Wuhan University, Software Engineering, Ph.D 2004/9 - 2007/2,Zhejiang normal University, Computer Software and Theory, Master Degree 1995/9 - 1998/6,Luoyang Institute of Science and Technology,Industrial electric automation,Junior college degree |
Publications: 1) Wu huaiguang, et al.A Software Behavior Oriented Requirements Model and Properties Verification, OURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, 48(5), 869-876,2011 2) Wu huaiguang,et al. Calculational Bigraphcial Model of Context-aware Systems in Ubiquitous Computing Environment, Computer Science, 39(1), 109-114, 2012 3) Wu huaiguang,et al. Bigrpahical Reactive Systems Based on Nested Sortings, Computer Science, 39(9), 143-151, 2012 4) Wu H, Lin Qing, Jin Baohua, Liu Qi, Application of improved DBSCAN algorithm in the plan compilation management, International Journal of Database Theory and Application, Vol.5(4), 23-32, 2012 5) Wu H , Wu G , Wan Li, Bigraphical model of service composition in ubiquitous computing environments,2010 International Conf. on Environmental Science and Information Application Technology, 2010.7.17-18,876-880, Wuhan: China, 2010
|