a generative approach to searching algorithmic programs development

ISCAS OpenIR

	a generative approach to searching algorithmic programs development
	Shi Haihe; Xue Jinyun
	2011
会议名称	5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
会议录名称	Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
页码	76-81
会议日期	August 29,
会议地点	Xi'an, Shaanxi, China
收录类别	EI
ISBN	9780769545066
部门归属	(1) Institute of Software Chinese Academy of Sciences Beijing 100190 China; (2) Provincial Key Lab. for High-Performance Computing Technology Jiangxi Normal University Nanchang 330022 China; (3) Graduate University Chinese Academy of Sciences Beijing 100049 China
摘要	Using highly configurable semi-automatic approach to algorithmic programs development can improve correctness and productivity. This paper explores a way to use generative techniques to produce the algorithmic programs for searching problem. Based on PAR method and PAR platform, it is to formally develop generic type component and algorithm components, and to design a formal algorithm generative model that models an invariant behavior in terms of variant behaviors, and then to automatically generate a variety of specialized searching algorithmic programs through replacing the generic identifiers with a few concrete operations. Through the super framework and underlying components, the reliability and productivity of domain specific algorithms are dramatically improved. © 2011 IEEE.; Using highly configurable semi-automatic approach to algorithmic programs development can improve correctness and productivity. This paper explores a way to use generative techniques to produce the algorithmic programs for searching problem. Based on PAR method and PAR platform, it is to formally develop generic type component and algorithm components, and to design a formal algorithm generative model that models an invariant behavior in terms of variant behaviors, and then to automatically generate a variety of specialized searching algorithmic programs through replacing the generic identifiers with a few concrete operations. Through the super framework and underlying components, the reliability and productivity of domain specific algorithms are dramatically improved. © 2011 IEEE.
关键词	Productivity Software Engineering
主办者	IEEE CS; IFIP
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16199
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Shi Haihe,Xue Jinyun. a generative approach to searching algorithmic programs development[C],2011:76-81.