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

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

帮助

条数/页：排序方式：
	基于问题模式的形式化软件规格说明生成方法期刊论文 OAI收割计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康 \| 收藏 \|
	优先级顶协议的形式化验证期刊论文 OAI收割计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖收藏 \|
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \|
	一种将设计模式用于程序精化演算的并行程序设计方法研究期刊论文 OAI收割计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云 \| 收藏 \|
	移动计算形式理论分析与研究期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139 魏峻; 冯玉琳 \| 收藏 \|
	π演算模型检测系统的设计与实现学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 方海收藏 \|
	河道水位模拟及全耦合洪水演算模型探讨期刊论文 OAI收割水利学报, 1990, 期号: 10, 页码: 62-67 作者: 程根伟收藏 \|