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

Search Results

Help

Item hits: (Results 31-40 of 81)

Items/Page:    Sort:
一种基于约束满足的测试计划方法 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-07
李悦
  |  
 
基于时序逻辑的并发系统测试用例生成 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-01
刘大光
  |  
 
基于约束求解的自动化软件测试研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-29
严俊
  |  
 
基于语义的异构信息内容集成技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-01-19
李剑
  |  
 
带多项式量级约束条件的多商品流BWTSP线性规划 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1796-1800
江贺; 张宪超; 车皓阳; 陈国良
  |  
 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
具有并行约束目标的多主体系统动态角色分配 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 4
汪红兵; 范植华; 佘春东
  |  
 
约束问题求解 [期刊论文]
自动化学报, 2007-01-01, 卷号: 33, 期号: 2, 页码: 125-131
季晓慧; 张健
  |  
 
基于手绘草图的概念设计工具研究与设计 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 1, 页码: 210-212,228
张超; 滕东兴; 戴国忠
  |  
 
基于几何约束求解的完备方法 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 7, 页码: 828-839
林强; 高小山; 刘媛媛; 陈颖; 戴国忠
  |  
 

previous 1 2 3 4 5 6 7 8 9 next

 

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