机构

• 软件研究所 [36]
• 计算技术研究所 [1]

采集方式

• OAI收割 [37]

内容类型

• 期刊论文 [23]
• 学位论文 [13]
• 会议论文 [1]

发表日期

• 2014 [1]
• 2012 [1]
• 2010 [1]
• 2009 [2]
• 2008 [4]
• 2007 [6]
• 更多

学科主题

• Computer S... [1]
• 计算机软件 [1]
• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共37条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   一种面向软件过程的可信证据模型及过程可信性评估方法研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2012 杜晶   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/01/09 可信软件过程域  过程评估  可信证据模型  安全设计评审  TSM  可信度  可信级别   基于风险管理的软件开发过程模型及其复合实物期权分析 期刊论文  OAI收割 管理工程学报, 2010, 卷号: 24, 期号: 2, 页码: 61-67 陈涛; 丛国栋; 于本海; 张金隆   |  收藏  |  浏览/下载：31/0  |  提交时间：2011/05/23 软件开发过程模型  风险管理  实物期权software process model  risk management  real options   一种用于软件过程建模的适应性Agent协商 期刊论文  OAI收割 软件学报, 2009, 期号: 3, 页码: 557-566 黎]?李明树; 王青; 赵琛; 杜栓柱   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/03/18 协商模型,适应性,Q学习,软件过程建模,Agent   一种用于软件过程建模的适应性Agent协商 期刊论文  OAI收割 软件学报, 2009, 卷号: 20, 期号: 3, 页码: 557-566 黎巎; 李明树; 王青; 赵琛; 杜栓柱   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/07/05 协商模型  适应性  Q学习  软件过程建模  Agent   基于SPEM扩展元模型的PSP实施方法 期刊论文  OAI收割 计算机应用研究, 2008, 卷号: 25, 期号: 3, 页码: 775-778 郭军; 袁峰; 阮利; 周津慧   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/08/23 个体软件过程  软件过程工程元模型  数据包络分析   一种考虑缺陷关联的软件可靠性增长模型 期刊论文  OAI收割 计算机工程, 2008, 卷号: 34, 期号: 8, 页码: 44-46 张荣辉; 姜楠; 勾朗; 车美儒; 舒风笛   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/06/10 软件可靠性增长模型  非齐次泊松过程  软件缺陷关联  软件缺陷  关联关系  齐次泊松过程  可靠性指标  改进的模型  预测能力  失效数据  软件产品  拟合效果  测试过程  分析表  实验  评价  基础  工具  分类   基于价值的软件测试工作量估算模型 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 544-546,682 万郁香; 舒风笛   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/06/10 基于价值分析  软件测试  估算模型  缺陷发现效率  创造价值  工作量  测试过程  缺陷  活动  测试阶段  测试计划  可用性  直观  证明  盈利  应用  信息  描述  解释  构造   基于代数的软件过程建模系统的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/06/10 软件过程建模  多元π演算  ASPMS系统  形式化分析  验证  代数  软件过程建模语言  建模系统  设计  软件开发过程  易于理解  表示方式  表达能力  图形化  形式化语义  组织  生产质量  开发效率  π演算  模型  描述  矛盾   基于SPEM扩展元模型的PSP实施方法及相关工具研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 郭军 收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17 软件过程  个体软件过程  软件过程工程元模型  数据包络分析