赵春霞 洪余柯 姚青 张波 吴恩华 陈昕 方国昌 崔立真 蔡康颖 李卫民 王文成

过程代数 Measurement Studio 动态优化 版本协调模型 多应用集成 : 举高消防车 变幅系统 CAD VC 业务流程管理 液压减振器试验台 VisualC 业务流程模型 二次开发 模型验证 变结构变参数 协调性检测 输入输出 流程调整 内存分配 ARX 外存模型简化 Visual C 测控软件

山东大学计算机科学与技术学院 辽宁工学院 辽宁锦州 澳门大学科学与技术学院澳门 中国科学院研究生院北京 中国科学院软件研究所计算机科学重点实验室 山东济南