CNKI学位论文(266)
知网期刊论文(74)
中图分类法(266)
经济(2)
文化、科学、教育、体育(1)
数理科学和化学(1)
天文学、地球科学(4)
工业技术(258)
航空、航天(1)
环境科学、安全科学(1)
在“
CNKI学位论文
”中，
命中：
266
条，耗时：0.0119578 秒
在所有数据库中总计命中：
340
条
1.
形式化方法在构件组装实时系统中的应用研究
作者：
席琳
关键词：
形式化方法
;
构件组装实时系统
;
时间自动机
;
行为相容性
;
测试用例生成
;
构件选择
论文级别：
博士
学位年度：2012
2.
复杂信息系统架构建模理论研究及在铁路客运专线中的应用
作者：
孙远运
关键词：
复杂信息系统
;
架构模型
;
架构建模
;
架构分级
;
形式化描述
;
客运专线
;
运营调度系统
论文级别：
博士
学位年度：2012
3.
分布式系统软件体系结构建模与开发方法研究
作者：
陈晓江
关键词：
软件体系结构
;
分布式系统
;
软件体系结构描述
;
交互风格
;
软件体系结构求精
论文级别：
博士
学位年度：2010
4.
构件化软件动态更新关键技术及形式化研究
作者：
徐小辉
关键词：
构件化软件
;
软件维护
;
动态软件更新
;
动态模块化
;
状态迁移
;
形式化方法
;
高阶π演算
论文级别：
博士
学位年度：2011
5.
一种支持设计阶段软件体系结构重用的方法
作者：
叶鹏
关键词：
软件体系结构
;
重用
;
反射
;
元信息模型
;
PiOZ
论文级别：
博士
学位年度：2009
6.
基于行为的软件可信性度量理论与关键技术研究
作者：
韩强
关键词：
可信软件
;
可信性度量
;
软件行为
;
度量模型
;
工作流管理系统
论文级别：
博士
学位年度：2013
7.
信息物理融合的机电产品数字化设计关键技术研究
作者：
张洪昌
关键词：
数字化设计
;
信息物理系统
;
多领域建模
;
半物理仿真
论文级别：
博士
学位年度：2012
8.
面向对象—构件的软件动态演化技术研究
作者：
陈洪龙
关键词：
动态演化
;
设计模式
;
命令模式
;
服务对象
;
体系结构模型
;
可靠性
;
Bigraph理论
论文级别：
博士
学位年度：2011
9.
基于构件的软件集成研究
作者：
程俊春
关键词：
基于构件的软件集成
;
软件复用
;
软件构件
;
软件构件模型
论文级别：
硕士
学位年度：2004
10.
典型软件系统建模、设计方法与技术的研究
作者：
马于涛
关键词：
软件体系结构
;
软件漂移
;
系统建模
;
设计方法
;
组件
论文级别：
硕士
学位年度：2004
1
2
3
4
5
6
7
8
9
按检索点细分(266)
作者(2)
引文(264)
按论文级别细分(266)
博士(60)
硕士(206)
按学位年度细分(266)
2000年(1)
2003年(1)
2004年(13)
2005年(26)
2006年(34)
2007年(43)
2008年(30)
2009年(38)
2010年(34)
2011年(31)
2012年(8)
2013年(7)