Title :
Software automation: from `silly´ to `intelligent´
Author_Institution :
Inst. of Comput. Software, Nanjing Univ.
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;
Conference_Titel :
Tools with Artificial Intelligence, 1992. TAI '92, Proceedings., Fourth International Conference on
Conference_Location :
Arlington, VA
Print_ISBN :
0-8186-2905-3
DOI :
10.1109/TAI.1992.246371
