张文萍 陈先桥 周学功 王颖 袁春明 周红梅 程胜利 郭庆平 彭澄廉

系统测试 CSTA Jsp 多语言 XML解析器 动态部分可重构 硬件线程接口 桩线程 软硬件统一多线程编程模型 Java 外包 形式化方法

武汉理工大学交通学院 复旦大学专用集成电路与系统国家重点实验室 复旦大学计算机与信息技术系 上海航天计算机技术研究所 武汉理工大学计算机科学与技术学院 上海　200050武汉理工大学计算机科学... 湖北武汉