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

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

帮助

条数/页：排序方式：
	基于问题模式的形式化软件规格说明生成方法期刊论文 OAI收割计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2013/09/17 形式化软件规格说明生成方法问题模式模型精化演算算法程序
	优先级顶协议的形式化验证期刊论文 OAI收割计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖收藏 \| 浏览/下载：57/6 \| 提交时间：2011/07/01 优先级顶协议时段演算调度实时操作系统形式规范和验证调度协议验证方法状态函数实时数据库系统阻塞性规范优先级驱动形式化验证易于理解时段演算无死锁抢占式应用文献个性
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	一种将设计模式用于程序精化演算的并行程序设计方法研究期刊论文 OAI收割计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/07/29 设计模式精化演算并行程序设计设计模式程序设计精化演算并行程序方法研究 Refinement Calculus Design Patterns Method of 问题求解设计方法描述扩充并行开发并行计算形式化知识语言体系模型规范
	移动计算形式理论分析与研究期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139 魏峻; 冯玉琳 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/29 移动计算形式方法移动性交互位置动态配置重构移动计算理论分析形式模型环境演算网络计算平台方法态配置重构移动环境特征时序逻辑扩充模型控制机制技术发展本质特点新计算代数类资源系统位置评价
	π演算模型检测系统的设计与实现学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 方海收藏 \| 浏览/下载：12/0 \| 提交时间：2011/03/17 形式化方法自动验证模型检测 π演算模态μ演算
	河道水位模拟及全耦合洪水演算模型探讨期刊论文 OAI收割水利学报, 1990, 期号: 10, 页码: 62-67 作者: 程根伟收藏 \| 浏览/下载：50/0 \| 提交时间：2015/08/21 洪水演算全耦合洪水水位水文模拟特征河长法流量计算演算方法断面流量出流量水文要素