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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
组件化软件过程建模与分析方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-01-19
翟健
  |  
 
具有严格操作语义的图形化软件过程建模研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-06-05
杨秋松
  |  
 
基于代数的软件过程建模系统的设计与实现 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟; 杨秋松; 翟健; 袁峰
  |  
 
基于时间模型的实时系统测试方法研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-07
陈伟
  |  
 
基于SPIN/Promela的并发系统验证 [期刊论文]
计算机科学, 2004-01-01, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华; 薛锦云
  |  
 
MINI工作流过程元模型的研究与应用 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
任洪涛
  |  
 
扩展UML语义以支持并行和分布式仿真系统设计 [期刊论文]
计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 6
胡四泉; 范植华; 佘春东
  |  
 
时间符号迁移图上的可达性分析 [期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  
 
业务信息系统的面向对象建模方法研究与应用 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999-01-01
李冬
  |  
 
软件过程模型和过程支持环境研究 [学位论文]
博士, 中国科学院软件研究所 北京中关村 100080: 中国科学院软件研究所 北京中关村 100080, 1997-01-01
武小鹏
  |  
 

1

 

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