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

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

帮助

条数/页：排序方式：
	SRLtoRadl生成系统及其范畴论语义期刊论文 OAI收割电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康 \| 收藏 \|
	quantitative analysis of requirements evolution across multiple versions of an industrial software product 会议论文 OAI收割 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850 Hailong Wang; Juan Li; Qing Wang; Ye Yang \| 收藏 \|
	a mechanical approach for deriving algorithmic programs 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei \| 收藏 \|
	basic research in computer science and software engineering at sklcs 期刊论文 OAI收割 Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 1, 页码: 1-11 Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang \| 收藏 \|
	distinguishing between automatic and manual aspects of model driven development 会议论文 OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu \| 收藏 \|
	distinguishing between automatic and manual aspects of model driven development 会议论文 OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu \| 收藏 \|
	a metamodel based model transformation approach 会议论文 OAI收割 3rd International Conference on Software Engineering Research, Management and Applications, Mt Pleasant, MI, AUG 11-13, Duan YC; Cheung SC; Fu XL; Gu YQ \| 收藏 \|
	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 \| 收藏 \|
	specification analysis and test data generation by solving boolean combinations of numeric constraints 会议论文 OAI收割 1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31, Zhang J \| 收藏 \|