钟林辉 石海鹏 石海鹤 胡启敏 揭安全 王昌晶 杨乐 肖美华

高可信 可重用部件库 PAR方法 并行 算法程序 组合优化 依赖注入 可靠性评估

江西南昌 江西师范大学计算机系 江西师范大学计算机信息工程学院 江西师范大学计算机科学与技术学院 江西农业大学计算机与信息工程学院 江西师范大学计算机信息与工程学院 中国科学院软件研究所计算机科学重点实验室 中国科学院软件研究所计算机科学国家重点实...