中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 会议论文
Title:
a generative approach to searching algorithmic programs development
Author: Shi Haihe ; Xue Jinyun
Source: Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Conference Name: 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Conference Date: August 29,
Issued Date: 2011
Conference Place: Xi'an, Shaanxi, China
Keyword: Productivity ; Software engineering
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
Sponsorship: IEEE CS; IFIP
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.
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.
Language: 英语
Content Type: 会议论文
URI: http://ir.iscas.ac.cn/handle/311060/16199
Appears in Collections:软件所图书馆_会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
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,.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Shi Haihe]'s Articles
[Xue Jinyun]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Shi Haihe]‘s Articles
[Xue Jinyun]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace