中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-6 of 6)

Items/Page: Sort:
	基于问题模式的形式化软件规格说明生成方法 [期刊论文] 计算机研究与发展, 2013-01-01, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康
	Biba模型中严格完整性政策的动态实施 [期刊论文] 计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 5, 页码: 746-754 张相锋; 孙玉芳 \|
	UML活动图的时序逻辑语义 [期刊论文] 计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松 \|
	互联网上主题信息的一种收集与处理模型及其应用 [期刊论文] 计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 12, 页码: 1667-1671 李晓明; 朱家稷; 闫宏飞 \|
	一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文] 计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云 \|
	一种基于设计模式的三阶段并行程序设计方法 [期刊论文] 计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 3, 页码: 324-329 万剑怡; 孙永强; 薛锦云


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In