王立福 张文娟 常欣 冯慧 刘瑜 杨芙清 赵文 覃国蓉

过程网 化简规则 模型验证 框架元模型 基于构件的框架 PT系统 软件体系结构可达矩阵 波及效应

陕西西安 河南郑州 陕西师范大学计算机学院 北京大学计算机科学技术系 北京大学信息科学技术学院 航天工业总公司无线电计量测试研究所 北京大学信息科学技术学院软件研究所 北京大学信息遥感与地理信息系统研究所