王飞(1990-),男,安徽安庆人,博士生,主要研究领域为软件工程,安全关键嵌入式软件,需求工程;刘承威(1994-),男,硕士生,主要研究领域为软件工程,安全关键嵌入式软件,需求工程;杨志斌(1982-),男,博士,副教授,CCF专业会员,主要研究领域为安全关键嵌入式软件,形式化方法;章文炳(1992-),男,硕士,主要研究领域为软件工程,安全关键嵌入式软件,模型驱动开发;黄志球(1965-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为软件工程,软件安全性,形式化方法;薛垒(1982-),男,高级工程师,主要研究领域为嵌入式软件设计验证;周勇(1975-),男,博士,副教授,CCF专业会员,主要研究领域为软件工程,形式化方法;许金淼(1994-),男,硕士生,主要研究领域为软件工程,安全关键嵌入式软件
杨志斌,E-mail:yangzhibin168@163.com
国家自然科学基金(61502231,61272083);国家高技术发展计划(863)(2015AA105303);GF基础科研重点项目(JCKY2016203B011);国家重点研发计划(2016YFB1000802);江苏省自然科学基金(BK20150753);软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04);航空科学基金(2015ZC52027)
National Natural Science Foundation of China (61502231, 61272083); National High-Tech R&D Program of China (863) (2015AA105303); National Defense Basic Scientific Research Project of China (JCKY2016203B011); National Key Research and Development Program of China (2016YFB1000802); Natural Science Foundation of Jiangsu Province (BK20150753); Project of the State Key Laboratory of Software Development Environment of China (SKLSDE-2015KF-04); Avionics Science Foundation of China (2015ZC52027)
王飞,杨志斌,黄志球,周勇,刘承威,章文炳,薛垒,许金淼.基于限定自然语言需求模板的AADL模型生成方法.软件学报,2018,29(8):2350-2370
复制