Institutional Repository
| a generative approach to searching algorithmic programs development | |
| Shi Haihe; Xue Jinyun | |
| 2011 | |
| Conference Name | 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011 |
| Source | Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011 |
| Pages | 76-81 |
| Conference Date | August 29, |
| Conference Place | Xi'an, Shaanxi, China |
| Indexed Type | EI |
| ISBN | 9780769545066 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Productivity Software Engineering |
| Sponsorship | IEEE CS; IFIP |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16199 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Shi Haihe,Xue Jinyun. a generative approach to searching algorithmic programs development[C],2011:76-81. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment