中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	数据集成中的数据流程处理框架的设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 周伟 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2010/06/07 数据集成数据流程组件规范
	一种通过应用程序验证TPM标准符合性的方法期刊论文 OAI收割中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 649-656 崔奇; 石文昌 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/06/10 可信计算组织可信平台模块标准符合性测试标准符合链 Trusted Computing Group (TCG) Trusted Platform Module (TPM) compliance test chain of compliance 计算应用程序程序验证标准符合性 Trusted Computing 可信计算准一致性执行功能系统保护命令计算平台安全性组件思想规范策略
	BPMN到BPEL2.0的模型转换方法期刊论文 OAI收割计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/06/10 业务流程管理模型转换业务流程建模符号业务流程执行语言模型中国科学院组件转换方法支持实际运用软件建模工具规范标准工程中心错误处理研究所可用性语义特性适用事务设计扩展检验
	J2EE平台中分布式事务互操作的研究与实现期刊论文 OAI收割计算机科学, 2005, 卷号: 32, 期号: 7, 页码: 1-4,43 张勇; 胡剑军; 陈宁江 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/28 分布式事务 RMI-IIOP协议 J2EE应用服务器事务互操作平台分布式事务互操作应用服务器客户端和服务器协议扩展应用组件调用事务上下文有效传播体系结构环境服务框架中科院灵活性语言设计软件规范
	基于OpenGIS规范的GIS组件的设计与实现期刊论文 OAI收割计算机工程, 2005, 期号: 9, 页码: 54-55+76 杨建宇,杨崇俊,刘冬林,芮小平,高积粮收藏 \| 浏览/下载：14/0 \| 提交时间：2015/01/05 GIS组件 OpenGIS规范 COM 互操作性
	一种基于对象序列图的组件交互协议设计方法期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 7, 页码: 996-1006 魏峻; 王栩; 李京 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/07/29 对象序列图组件互操作交互交互协议模型检查形式分析对象序列图组件交互交互协议设计方法 software development 形式分析方法组件的软件开发 sequence diagram 互操作性可视化建模形式定义协议设计思想软件工具交互特征规范分离组件标准化运用协调Interoperability
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范
	基于T3BDD的动态模型检查S 期刊论文 OAI收割软件学报, 1999, 卷号: 10, 期号: 10 倪彬; 冯玉琳; 黄涛 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2010/08/20 组件 JavaBeans 形式规范符号化模型检查二叉判定图
	组件语义约束的动态模型检测方法和技术研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 倪彬收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 组件语义约束模型检查动态检测规范组合软件开发方法