DocumentCode
3376426
Title
Software automation: from `silly´ to `intelligent´
Author
Xu, Jie
Author_Institution
Inst. of Comput. Software, Nanjing Univ.
fYear
1992
fDate
10-13 Nov 1992
Firstpage
73
Lastpage
76
Abstract
The adaptation of some AI techniques to software automation is proposed. Inductive reasoning is used as the basis of inductive program synthesis, and explanation-based learning is used to learn algorithm design strategies. Methods for elementary algorithm learning, optimizing method learning, and analogical program derivation are also described
Keywords
automatic programming; explanation; inference mechanisms; knowledge based systems; learning (artificial intelligence); AI techniques; algorithm design strategies; analogical program derivation; elementary algorithm learning; explanation-based learning; inductive program synthesis; inductive reasoning; optimizing method learning; software automation; Algorithm design and analysis; Artificial intelligence; Design automation; Formal specifications; Laboratories; Optimization methods; Programming; Software algorithms; Software systems; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1992. TAI '92, Proceedings., Fourth International Conference on
Conference_Location
Arlington, VA
Print_ISBN
0-8186-2905-3
Type
conf
DOI
10.1109/TAI.1992.246371
Filename
246371
Link To Document