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

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

帮助

条数/页：排序方式：
	模型驱动的流程企业可配置MES系统设计与应用会议论文 OAI收割 2011年中国过程系统工程年会暨PSE专业委员会20周年特别年会(PSE2011), 北京, 2011 李德芳; 蒋白桦; 刘海龙; 刘伟 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/10/08 流程企业生产执行系统可配置模型驱动本体论 SOA
	本体驱动的时空数据查询方法研究期刊论文 OAI收割计算机工程与应用, 2009, 期号: 11, 页码: 154-157 吴孟泉; 崔伟宏收藏 \| 浏览/下载：25/0 \| 提交时间：2015/01/05 本体驱动地理本体查询时空
	基于主体网格的本体驱动自主学习系统期刊论文 OAI收割计算机工程, 2008, 卷号: 34.0, 期号: 008, 页码: 29 作者: 王茂光; 管红杰; 史忠植 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 主体网格本体驱动知识导航自主学习
	模型驱动软件开发过程的若干问题研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 段玉聪收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 多维关注分离过程框架模型驱动开发本体认知 UML
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互