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

Search Results

Help

Item hits: (Results 51-60 of 95)

Items/Page:    Sort:
一种弹性的软件过程模型验证工具 [期刊论文]
计算机工程与设计, 2007-01-01, 期号: 7, 页码: 1497-1500
胡旷; 董广智; 田勇; 柳军飞
  |  
 
算法程序变换研究与进展 [期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 11, 页码: 232-238
石海鹤; 石海鹏; 郑宇军; 薛锦云
  |  
 
面向信息系统工程监理的软件工具IT-PM [期刊论文]
计算机工程与设计, 2007-01-01, 卷号: 28, 期号: 1, 页码: 6-7+28
李少波; 秦晓
  |  
 
基于度量工具的软件成本估算模型使用方法 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 8, 页码: 88-91
袁荣; 舒风笛; 汤子楠; 王青
  |  
 
软件成本估算模型应用技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-12-29
袁荣
  |  
 
页面流模型驱动的Web应用开发技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-14
罗萍
  |  
 
软件项目监理过程及其支持工具 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-09
李少波
  |  
 
笔式交互系统的最终用户开发方法 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-06
秦严严
  |  
 
一种基于有限精度时间自动机的模型检测工具 [期刊论文]
计算机应用研究, 2006-01-01, 期号: 5, 页码: 121-125
徐雨波; 晏荣杰
  |  
 
基于模型检查实现J2EE规范的实例研究 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 12, 页码: 249-254
李彦; 张文博; 陈宁江
  |  
 

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

 

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