作者：丁晓明

关键词：构件描述 ; 构件检索 ; 构件测试 ; 构件组装 ; 形式化 ; 语义

论文级别：博士

学位年度：2012

作者：叶鹏

关键词：软件体系结构 ; 重用 ; 反射 ; 元信息模型 ; PiOZ

论文级别：博士

学位年度：2009

作者：黄俊歆

关键词：三维可视化 ; 矿井通风 ; 数据一体化管理 ; 风机选型 ; 风网调节 ; 优化 ; 污染扩散模拟

论文级别：博士

学位年度：2012

作者：席琳

关键词：形式化方法 ; 构件组装实时系统 ; 时间自动机 ; 行为相容性 ; 测试用例生成 ; 构件选择

论文级别：博士

学位年度：2012

作者：谢仲文

关键词：动态演化 ; 需求模型 ; 软件体系结构 ; 行为管程 ; 相关性 ; 一致性

论文级别：博士

学位年度：2012

作者：李睿

关键词：信息技术 ; 课程 ; 整合 ; iPad+Apps ; 课程设计 ; 新趋向

论文级别：博士

学位年度：2013

作者：朱勇

关键词：高速通道 ; 片上系统 ; 实时 ; 红外图像 ; 逻辑描述 ; 伪彩色 ; 模型

论文级别：博士

学位年度：2007

作者：王小兵

关键词：时序逻辑语言 ; 指针 ; 面向对象 ; 组合 ; Web服务 ; 形式化验证

论文级别：博士

学位年度：2009

作者：赵玲玲

关键词：海洋真菌 ; 代谢产物 ; 抗稻瘟霉活性 ; paxilline ; 生物合成 ; 大鼠嗜铬细胞瘤PC12细胞

论文级别：博士

学位年度：2008

作者：谭兰芳

关键词：软错误 ; 软件容错 ; 错误恢复 ; 应用级检查点 ; 容错验证 ; 模型检验 ; 类型化汇编

论文级别：博士

学位年度：2013