杨文华(1990-),男,博士,讲师,CCF专业会员,主要研究领域为软件工程,自适应软件系统,智能软件开发.
周宇(1981-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为智能软件工程,软件演化,软件验证.
黄志球(1965-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为软件工程,云计算,形式化方法.
杨文华,E-mail:ywh@nuaa.edu.cn
TP311
国家自然科学基金(61802179,61972197);江苏省高校“青蓝工程”项目
YANG Wen-Hua
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211106, China;Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing 210093, ChinaZHOU Yu
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211106, ChinaHUANG Zhi-Qiu
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211106, ChinaNational Natural Science Foundation of China (61802179, 61972197); Qing Lan Project
杨文华,周宇,黄志球.基于反例确认的CPS不确定性模型校准.软件学报,2021,32(4):889-903
复制