钟林辉 石海鹏 石海鹤 胡启敏 揭安全 王昌晶 杨乐 肖美华 杨庆红 陈勇光 黄海飞 李欣 刘珊慧

高可信 可重用部件库 PAR方法 并行 算法程序 组合优化 依赖注入 可靠性评估 Java语言 面向对象 形式化方法 程序设计方法学 泛型 形式化推导 算法设计 软件可靠性 EGCL语言 算法程序形式化技术 并发系统 时态逻辑 程序形式推导 横切关注点 切面 数据结构 循环不变式 程序转换 变换技术 状态机工作流 面向切面编程 并发

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