Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A system for parallel programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
People and organizations in software production: a review of the literature
ACM SIGCPR Computer Personnel
A Language and System for the Construction and Tuning of Parallel Programs
IEEE Transactions on Software Engineering
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Combining Multiple Knowledge Sources in an Integrated Intelligent System
IEEE Expert: Intelligent Systems and Their Applications
Explicit integration of goals in heuristic algorithm design
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Synthesizing algorithms with performance constraints
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Algorithm design is a challenging intellectual activity that provides a rich source of observation and a test domain for a theory of problem-solving behavior. This paper describes a theory of the algorithm design process based on observations of human design and also outlines a framework for automatic design. The adaptation of the theory of human design to a framework for automation in the DESIGNER system helps us understand human design better, and the implementation process helps validate the framework. Issues discussed in this paper include the problem spaces used for design, the loci of knowledge and problem-solving power, and the relationship to other methods of algorithm design and to automatic programming as a whole.