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

Item hits: (Results 1-6 of 6)

Items/Page: Sort:
	SRLtoRadl生成系统及其范畴论语义 [期刊论文] 电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康
	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