中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \|
	UML活动图的时序逻辑语义期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松 \| 收藏 \|
	一种基于构件的软件体系结构求精方法及其应用期刊论文 OAI收割重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉 \| 收藏 \|
	三机冗余容错系统的描述和验证期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 1 郭亮; 唐稚松 \| 收藏 \|
	XYZ/E面向对象程序语义概述期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 3 郭亮; 唐稚松 \| 收藏 \|
	基于XYZ/E描述和验证容错系统期刊论文 OAI收割软件学报, 2002, 卷号: 13, 期号: 5 郭亮; 唐稚松 \| 收藏 \|
	基于XYZ/E重构SZRTOS实时操作系统内核学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002 郭亮收藏 \|
	有穷状态XYZ/E程序的模型检查研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002 赵海云收藏 \|