赵鹏宇 宫云战 张兆庆 夏玉辉 万琳 李鸣 吴文娟 易会战 张威 刘宽名 杨学军 FrankSommers 刘喆 陈娟 金鑫 任峰 谢荣传 靳黎明 谈利群 刘骏 刘政怡 高传平 陈树清 李伟 蒋凡 赵济华

表达式优化 实时 类文件 数据库 动态电压调节 编译系统 程序模块 应用服务器 具体语法 相关问题 控制流图 RTLPower 静态分析 低功耗 语法制导 编辑器 结点 软件测试 静态测试 程序交互 查询 TTCN-3编译器测试 条件覆盖 程序构造 自动化测试 元语言 编译器 未初化变量 约束求解 语言特性