韦银星 刘瑞成 丁峰 曹健 邓勇 张明恒 祝义 张申生 张立臣 张乃孝 李传湘 阮幼林 沈钧毅 张广泉

UML 统一建模语言 规范描述语言 交易中间件 模式 形式化说明 框架 需求分析 求精 客户 服务器 实时逻辑 形式化方法 约束图 软件体系结构 精化演算 形式化规约 时间约束 对象约束语言