中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
基于问题模式的形式化软件规格说明生成方法 [期刊论文]
计算机研究与发展, 2013-01-01, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶; 罗海梅; 左正康

 
直觉线性μ-演算中的合成推理 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8
张文辉
  |  
 
直觉线性μ-演算 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 12
张文辉
  |  
 
基于封箱演算的形式化组织模型 [期刊论文]
系统仿真学报, 2008-01-01, 卷号: 20, 期号: 6
范植华
  |  
 
需求驱动的Web服务建模及其验证:一个基于本体的方法 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊; 金芝; 吴步丹
  |  
 
一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324
万剑怡; 孙永强; 薛锦云
  |  
 
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 6
薛锐; 林惠民
  |  
 
对象系统的组合交互计算 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9
钱军; 黄涛; 冯玉琳
  |  
 
移动计算形式理论分析与研究 [期刊论文]
计算机研究与发展, 2000-01-01, 卷号: 37, 期号: 2, 页码: 129-139
魏峻; 冯玉琳
  |  
 
对象演算Ⅰ [期刊论文]
软件学报, 1999-01-01, 卷号: 10, 期号: 9
黄涛; 钱军; 周桓
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace