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

Item hits: (Results 1-6 of 6)

Items/Page: Sort:
	basic research in computer science and software engineering at sklcs [期刊论文] Frontiers of Computer Science in China, 2008-01-01, 卷号: 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 [会议论文] 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 [会议论文] 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 [会议论文] 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 [会议论文] 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 [会议论文] 1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31, Zhang J \|


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