机构

• 软件研究所 [25]
• 过程工程研究所 [1]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [27]

内容类型

• 期刊论文 [16]
• 学位论文 [11]

发表日期

• 2014 [1]
• 2011 [2]
• 2010 [2]
• 2009 [4]
• 2008 [4]
• 2007 [3]
• 更多

学科主题

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

筛选

浏览/检索结果: 共27条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   一种形式化的组件化软件过程建模方法 期刊论文  OAI收割 Journal of Software, 2011, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08 软件过程  过程建模  过程重用  过程组件  形式化方法   Em-plant在生产线前期规划中的应用 期刊论文  OAI收割 控制工程, 2011, 卷号: 18, 期号: 5, 页码: 748-750,819 作者:  陈书宏 收藏  |  浏览/下载：41/0  |  提交时间：2012/05/29 生产线规划  计算机仿真  Em-plant  建模过程  设计规划  前期规划  面向对象  有效性  快速性  建模软件   软件项目资源优化调度研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2010 谢利子   |  收藏  |  浏览/下载：24/0  |  提交时间：2010/06/03 软件过程建模  软件项目管理  人员能力  资源调度  风险  项目缓冲  过程模拟   组件化软件过程建模与分析方法研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2010 翟健   |  收藏  |  浏览/下载：12/0  |  提交时间：2010/01/25 软件过程建模语言   软件过程Agent的知识生成方法研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2009 张镭   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/03/17 软件过程Agent  知识获取  挖掘软件资产库  过程发现  过程建模   软件过程建模方法研究 期刊论文  OAI收割 软件学报, 2009, 卷号: 20, 期号: 3, 页码: 524-545 李明树; 杨秋松; 翟健   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/07/05 软件过程  建模  分析  系统评价   一种用于软件过程建模的适应性Agent协商 期刊论文  OAI收割 软件学报, 2009, 期号: 3, 页码: 557-566 黎]?李明树; 王青; 赵琛; 杜栓柱   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/03/18 协商模型,适应性,Q学习,软件过程建模,Agent   一种用于软件过程建模的适应性Agent协商 期刊论文  OAI收割 软件学报, 2009, 卷号: 20, 期号: 3, 页码: 557-566 黎巎; 李明树; 王青; 赵琛; 杜栓柱   |  收藏  |  浏览/下载：17/0  |  提交时间：2010/07/05 协商模型  适应性  Q学习  软件过程建模  Agent   具有严格操作语义的图形化软件过程建模研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 杨秋松   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/17 软件过程  软件过程建模  软件过程建模语言  软件过程验证  软件过程移动性  TRISO/ML  TRISO Model