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

Search Results

Help

Item hits: (Results 31-40 of 47)

Items/Page:    Sort:
一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文]
计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324
万剑怡; 孙永强; 薛锦云
  |  
 
分布式系统形式化建模技术研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
郑红
  |  
 
闪存盘固件的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
孙庚
  |  
 
带有时钟变量的线性时序逻辑与实时系统验证 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 1
李广元; 唐稚松
  |  
 
基于XYZ/E描述和验证容错系统 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 5
郭亮; 唐稚松
  |  
 
中国电子商务的标准与规范——cnXML [期刊论文]
电子商务世界, 2001-01-01, 期号: 12, 页码: 74-75
王明生; 王贵林; 冯登国

 
科学设计审稿意见书的一次尝试 [期刊论文]
中国科技期刊研究, 2001-01-01, 卷号: 12, 期号: 4, 页码: 268-270
何英; 方梅; 付蓉
  |  
 
可视化软件体系结构描述工具XYZ/ADL的设计与实现 [期刊论文]
重庆师范学院学报(自然科学版), 2001-01-01, 卷号: 18, 期号: 2, 页码: 1-6
张广泉; 骆华俊; 郑建丹
  |  
 
一种基于对象序列图的组件交互协议设计方法 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 7, 页码: 996-1006
魏峻; 王栩; 李京
  |  
 
LTLC:面向实时与混成系统的连续时序逻辑 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
李广元
  |  
 

previous 1 2 3 4 5 next

 

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