蒋信予 王成道 赵忠孝 宋立新 张民选 雷航 郭宇 陈意云 肖立权 周兴铭 白治江 熊光泽

缓冲区 模拟器 应用程序 计算机 消息句柄 驱动技术 系统时间 锁定时间 正态分布 树节点 高可信软件 工作单元 IDFA 鲁比克魔方 分布函数 多线程结构 子程序调用 转换技术 多窗口 保护器 并行计算机 更改 中间结果 分支因数 程序验证 墨盒 可靠性评价 实用价值 线性化 软件故障