On January 11th 2015, the annual meeting for the project “the Fundamental Research on High-confidence Software” (sponsored by the Major Research Program Fund from National Natural Science Foundation) and the final examination meeting for the key project "Research on Architecture-driven Reliable Software Construction Methodology and Technology" (chaired by Professor Hong Mei) were held in Guoman Hotel, Shanghai.
With the support of these projects, 62 papers have been published on the international journals such as TSE and TSC, as well as international conferences such as POPL, OOPSLA, ICSE, FSE, ASE, WWW. Besides, with the support, three national patents were granted.
