刘珊艳 张广泉 晏荣杰 唐稚松 王少将 郑建丹 黄正宝 朱雪阳 吴国伟 舒明 刘剑云

组件 选修课管理系统 形式化描述 内核进程 形式化方法 逐步求精 软件体系结构 构件 连接件 求精 实时系统 RA 时态逻辑语言 体系结构描述语言 开放多任务操作系统 组件 XYZADL 时序逻辑 CA 体系结构 体系结构风格 时序逻辑语言

组件