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

Search Results

Help

Item hits: (Results 1-10 of 21)

Filters    
Items/Page:    Sort:
面向无穷数据的形式模型综述 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
  |  
 
一种模型驱动的可视化生成系统 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 5, 页码: 1199-1211
杜一; 郭旦怀; 陈昕; 任磊; 戴国忠
  |  
 
一种可扩展的用户界面描述语言 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 5, 页码: 1127-1142
杜一; 邓昌智; 田丰; 任磊; 戴国忠

 
基于PAR的排序算法自动生成研究 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云

 
容错的网络声明式程序 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 8, 页码: 1992-2001
汪芳

 
采用了剪枝优化的子类型关系判定算法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君; 陈海明
  |  
 
基于BPEL的Web Service组合的数据流分析测试方法 [期刊论文]
软件学报, 2009-01-01, 期号: 8, 页码: 2102-2112
董文莉; 胡建华
  |  
 
动态需求跟踪方法及跟踪精度问题研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 2, 页码: 177-192
李引; 李娟; 李明树
  |  
 
可扩展和可配置事件通知服务体系结构 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 3, 页码: 638-648
汪洋; 魏峻; 王振宇
  |  
 
一种新型递归函数的求值算法 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 9, 页码: 1277-1291
陈海明
  |  
 

1 2 3 next

 

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