|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
November 1985 (vol. 11 no. 11)
pp. 1375-1386
| ASCII Text | x | ||
| D.M. Steier, E. Kant, "The Roles of Execution and Analysis in Algorthm Design," IEEE Transactions on Software Engineering, vol. 11, no. 11, pp. 1375-1386, November, 1985. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1985.231885, author = {D.M. Steier and E. Kant}, title = {The Roles of Execution and Analysis in Algorthm Design}, journal ={IEEE Transactions on Software Engineering}, volume = {11}, number = {11}, issn = {0098-5589}, year = {1985}, pages = {1375-1386}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.231885}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - The Roles of Execution and Analysis in Algorthm Design IS - 11 SN - 0098-5589 SP1375 EP1386 EPD - 1375-1386 A1 - D.M. Steier, A1 - E. Kant, PY - 1985 KW - symbolic execution KW - Algorithm design KW - automatic programming KW - developmental evaluation KW - meta-evaluation VL - 11 JA - IEEE Transactions on Software Engineering ER - | |||
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.
Index Terms:
symbolic execution, Algorithm design, automatic programming, developmental evaluation, meta-evaluation
Citation:
D.M. Steier, E. Kant, "The Roles of Execution and Analysis in Algorthm Design," IEEE Transactions on Software Engineering, vol. 11, no. 11, pp. 1375-1386, Nov. 1985, doi:10.1109/TSE.1985.231885
Usage of this product signifies your acceptance of the Terms of Use.

