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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
InCoME软件成本估算工具 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 23, 页码: 5015-5018,5047
李效云; 杨达; 叶凯
  |  
 
需求变更管理过程及其工具分析与展望 [期刊论文]
计算机工程与设计, 2009-01-01, 期号: 11, 页码: 2601-2605,2614
秦众森; 李娟
  |  
 
基于场景方法的笔式界面软件设计工具 [期刊论文]
计算机工程与设计, 2009-01-01, 卷号: 30, 期号: 8, 页码: 2011-2014,2039
刘健; 邓昌智; 戴国忠
  |  
 
面向Web2.0的测试管理工具设计与实现 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 24, 页码: 6231-6235,6239
周n?陈伟
  |  
 
基于AJAX的B/S电子表单填写模式研究 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 5, 页码: 1055-1056+1146
黄慧; 孙静
  |  
 
一种弹性的软件过程模型验证工具 [期刊论文]
计算机工程与设计, 2007-01-01, 期号: 7, 页码: 1497-1500
胡旷; 董广智; 田勇; 柳军飞
  |  
 
面向信息系统工程监理的软件工具IT-PM [期刊论文]
计算机工程与设计, 2007-01-01, 卷号: 28, 期号: 1, 页码: 6-7+28
李少波; 秦晓
  |  
 
软件质量控制支持工具SQC的研究与实现 [期刊论文]
计算机工程与设计, 2006-01-01, 卷号: 27, 期号: 21, 页码: 4094-4096+4100
郭晓敦; 秦晓; 李少波
  |  
 
数据库应用系统的层次化设计方法与实现 [期刊论文]
计算机工程与设计, 2004-01-01, 卷号: 25, 期号: 9
张峻; 徐卫东; 钟华
  |  
 

1

 

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