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

Search Results

Help

Item hits: (Results 1-10 of 12)

Filters    
Items/Page:    Sort:
一种基于约束满足的测试计划方法 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-07
李悦
  |  
 
基于时序逻辑的并发系统测试用例生成 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-01
刘大光
  |  
 
基于约束求解的自动化软件测试研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-29
严俊
  |  
 
基于语义的异构信息内容集成技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-01-19
李剑
  |  
 
以活动为中心的软件过程模型的验证工具研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
胡旷
  |  
 
基于动态规则的事件检测方法研究和应用 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
王绍恒
  |  
 
支持概念设计的手势描述和草图设计系统的研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
马翠霞
  |  
 
引入时间特性的角色访问控制 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
黄建
  |  
 
软件测试的自动分析工具 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
王晓旭
  |  
 
支持概念设计的用户界面及原型系统开发 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000-01-01
聂志明
  |  
 

1 2 next

 

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