a generative approach to searching algorithmic programs development
文献类型：会议论文
| 作者 | Shi Haihe ; Xue Jinyun |
| 出版日期 | 2011 |
| 会议名称 | 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011 |
| 会议日期 | August 29, |
| 会议地点 | Xi'an, Shaanxi, China |
| 关键词 | Productivity Software engineering |
| 页码 | 76-81 |
| 中文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | IEEE CS; IFIP |
| 会议录 | Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
 |
| 语种 | 英语 |
| ISBN号 | 9780769545066 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16199]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Shi Haihe,Xue Jinyun. a generative approach to searching algorithmic programs development[C]. 见:5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011. Xi'an, Shaanxi, China. August 29,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。