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

Search Results

Help

Item hits: (Results 1-10 of 19)

Items/Page:    Sort:
带时间和资源约束的实例化过程模型验证方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松

 
基于风险管理的软件开发过程模型及其复合实物期权分析 [期刊论文]
管理工程学报, 2010-01-01, 卷号: 24, 期号: 2, 页码: 61-67
陈涛; 丛国栋; 于本海; 张金隆
  |  
 
一种弹性的软件过程模型验证工具 [期刊论文]
计算机工程与设计, 2007-01-01, 期号: 7, 页码: 1497-1500
胡旷; 董广智; 田勇; 柳军飞
  |  
 
工作流过程图形建模及基于自动机的动态语义 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 1, 页码: 8-13
董广智; 田勇; 柳军飞
  |  
 
软件过程柔性运作的研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
田勇
  |  
 
实时可取证操作系统的模型、策略及实现研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-07
丁丽萍
  |  
 
一个以活动为中心的软件过程建模工具的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
田浩
  |  
 
一种基于Agent的自适应软件过程模型 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 3, 页码: 348-359
赵欣培; 李明树; 王青; 陈振冲; 梁金能
  |  
 
使用Gantt图建立EPC工作流模型的研究 [期刊论文]
计算机工程与应用, 2004-01-01, 卷号: 40, 期号: 31, 页码: 213-214,232
仰飞; 谢延东; 戴国忠
  |  
 
基于FR-TS法的企业过程模型并行优化技术研究 [期刊论文]
系统工程与电子技术, 2003-01-01, 卷号: 25, 期号: 4, 页码: 435-439
谭文安; 赵建民; 王勤
  |  
 

1 2 next

 

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