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

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

帮助

条数/页：排序方式：
	A Creative Approach to Reducing Ambiguity in Scenario-based Software Architecture Analysis 期刊论文 OAI收割 International Journal of Automation and Computing, 2019, 卷号: 16, 期号: 2, 页码: 248-260 作者: Xi-Wen Wu; Chen Li; Xuan Wang; Hong-Ji Yang \| 收藏 \|
	基于通用知识的软件设计安全性评估期刊论文 OAI收割计算机系统应用, 2013, 期号: 11, 页码: 1-6,80 戚荣波; 杜晶; 杨叶 \| 收藏 \|
	validating objected-oriented prototype of real-time systems with timed automata 会议论文 OAI收割 13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03, Shu GQ; Li C; Wang Q; Li MS \| 收藏 \|
	一种基于对象序列图的组件交互协议设计方法期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 7, 页码: 996-1006 魏峻; 王栩; 李京 \| 收藏 \|