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

Search Results

Help

Item hits: (Results 91-100 of 110)

Items/Page:    Sort:
一种基于构件的软件体系结构求精方法及其应用 [期刊论文]
重庆师范学院学报(自然科学版), 2003-01-01, 卷号: 20, 期号: 2, 页码: 1-5
晏荣杰; 张广泉
  |  
 
一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324
万剑怡; 孙永强; 薛锦云
  |  
 
井发传值进程模型检测工具的数据类型扩展 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
张轶
  |  
 
一个并发传值系统自动验证工具的图形界面实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
肖颖奇
  |  
 
密码协议的一种基于组合推理的模型验证 [期刊论文]
通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127
刘怡文; 李伟琴; 冯登国
  |  
 
基于PLIB标准面向零件族的零件库信息模型及其表达 [期刊论文]
计算机辅助设计与图形学学报, 2002-01-01, 卷号: 14, 期号: 6, 页码: 598-602
操云甫; 李峰; 韩永生; 戴国忠

 
敏捷软件过程的研究 [期刊论文]
计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 11, 页码: 1456-1463
沈备军; 陈诚; 居德华
  |  
 
高可靠软件研究:向信息技术的未来投资 [期刊论文]
中国科学院院刊, 2002-01-01, 卷号: 17, 期号: 6
林惠民
  |  
 
运用ASM描述安全协议 [期刊论文]
中国科学院研究生院学报, 2002-01-01, 卷号: 19, 期号: 3, 页码: 263-270
薛锐; 冯登国
  |  
 
一种分析电子商务协议的新工具 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 9, 页码: 1318-1328
周典萃; 卿斯汉; 周展飞
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

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