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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
面向服务业务过程建模方法的研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-01-20
董广智
  |  
 
工作流过程图形建模及基于自动机的动态语义 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 1, 页码: 8-13
董广智; 田勇; 柳军飞
  |  
 
基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述 [期刊论文]
重庆师范学院学报(自然科学版), 2001-01-01, 卷号: 18, 期号: 3, 页码: 1-4
张广泉; 郑建丹; 舒明
  |  
 
可视化体系结构描述语言XYZ/ADL [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 8, 页码: 1024-1029
骆华俊; 唐稚松; 郑建丹
  |  
 
时序逻辑语言XYZ/E中指针的形式化表示与验证 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 3
李广元; 唐稚松
  |  
 
基于XYZ系统的动画描述的踪迹语义研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999-01-01
卢铁
  |  
 

1

 

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