The roles of execution and analysis in algorithm design

The analysis and execution of partial algorithm descriptions is an important element of the algorithm design process. A language for representing partially designed algorithms and a process called developmental evaluation are described that can disclose useful knowledge to guide design. A system cal...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on software engineering Vol. 11; no. 11; pp. 1375 - 1386
Main Authors STEIER, D. M, KANT, E
Format Journal Article
LanguageEnglish
Published New York, NY Institute of Electrical and Electronics Engineers 01.11.1985
IEEE Computer Society
Subjects
Algorithmics. Computability. Computer arithmetics
Algorithms
Analysis
Applied sciences
Artificial intelligence
Automatic
Automation
Computer programming
Computer science
Computer science; control theory; systems
Concrete
Design
Exact sciences and technology
Language
Roles
Software engineering
Theoretical computing
Design
Evaluation
Automatic programming
Knowledge
Algorithm analysis
Online AccessGet full text
ISSN0098-5589
1939-3520
DOI10.1109/TSE.1985.231885

Cover

More Information
Summary:The analysis and execution of partial algorithm descriptions is an important element of the algorithm design process. A language for representing partially designed algorithms and a process called developmental evaluation are described that can disclose useful knowledge to guide design. A system called DESIGNER is constructed that automatically designs algorithms. Developmental evaluation is compared 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 be applicable to all periods of the software life cycle. It is claimed that, in uncovering opportunities for refinement of a data-flow algorithm representation, developmental evaluation is the primary method guiding design in the absence of specific control knowledge.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1985.231885