Artificial intelligence and software engineering
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
Critiquing Software Specifications
IEEE Software
Specification criticism via goal-directed envisionment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Automated synthesis of constrained generators
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Symbolic execution in algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Explicit integration of goals in heuristic algorithm design
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
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.