DocumentCode :
1237222
Title :
The Roles of Execution and Analysis in Algorthm Design
Author :
Steier, David M. ; Kant, Elaine
Author_Institution :
Department of Computer Science, Carnegie-Mellon University
Issue :
11
fYear :
1985
Firstpage :
1375
Lastpage :
1386
Abstract :
The analysis and execution of partial algorithm descriptions is an important part of the algorithm design process (as is borne out by studying the behavior of human algorithm designers). In this paper, we describe a language for representing partially designed algorithms and a process, developmental evaluation, that can discover useful knowledge to guide design. Using these and other results from our research in artificial intelligence, we are building a system, DESIGNER, that automatically designs algorithms. This paper also compares developmental evaluation to execution and analysis techniques used for testing complete programs and for validation of abstract specifications; concepts similar to those found in developmental evaluation are thus shown to apply to all stages of the software life cycle.
Keywords :
Algorithm design; automatic programming; developmental evaluation; meta-evaluation; symbolic execution; Algorithm design and analysis; Artificial intelligence; Buildings; Cognitive science; Computer science; Concrete; Humans; Process design; Production; Testing; Algorithm design; automatic programming; developmental evaluation; meta-evaluation; symbolic execution;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/TSE.1985.231885
Filename :
1701953
Link To Document :
بازگشت