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

Search Results

Help

Item hits: (Results 1-10 of 16)

Filters    
Items/Page:    Sort:
受限正规树文法与基于正则表达式包含判定的类型检查 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2010-01-25
陈雷
  |  
 
采用了剪枝优化的子类型关系判定算法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君; 陈海明
  |  
 
E-RTDB的恢复子系统的设计与实现 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 1, 页码: 119-122
李坤; 李春晖; 王永炎; 王宏安
  |  
 
面向软件安全缺陷的静态代码分析及防御 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-29
罗宇翔
  |  
 
形式化分析方法在OnceAS设计和实现中的应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
李彦
  |  
 
一个基于应用程序监控的病毒防范框架 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 12, 页码: 152-153,156
武延军; 石文昌; 梁洪亮; 周洲仪
  |  
 
基于模型检查实现J2EE规范的实例研究 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 12, 页码: 249-254
李彦; 张文博; 陈宁江
  |  
 
以STL为接口的CAD/CAE集成应用 [期刊论文]
计算机辅助设计与图形学学报, 2005-01-01, 卷号: 17, 期号: 8, 页码: 1878-1882
王威信; 吴延江; 张凤军
  |  
 
一种以活动为中心的软件过程元模型 [期刊论文]
计算机工程与设计, 2004-01-01, 卷号: 25, 期号: 4, 页码: 612-615
张颖; 施海虎; 柳军飞
  |  
 
密码协议的一种基于组合推理的模型验证 [期刊论文]
通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127
刘怡文; 李伟琴; 冯登国
  |  
 

1 2 next

 

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