池志强 李仁发 杨万海 吴方君 朱丹 郑建丹 何坚 邓勇 朱雪阳 王振宇 唐稚松 叶俊民 蔡希尧 骆华俊 马俊涛 戎玫 梅宏 闵俊 张广泉 张杰 王刚 贾晓琳 虞凡 蒋爱军 尤晋元 朱凯 赵昌葆 沈钧毅 于卫 陈利

软件体系结构 实时系统 测试充分性 嵌入式系统 XML XYZADL Wright TCSP 系统级综合 体系结构切片 组件 ABC方法 变化性 特定领域软件体系结构 测试用例 体系结构样式 约束满足问题 客户／服务器 规范 join-calculus 自动生成 移动代理 测试程序生成 交互端 连接件 程序切片 指令模板库 控制关键路径降低 genmd UML profile

软件体系结构