The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Experiments with a Heuristic Compiler
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Toward automatic program synthesis
Communications of the ACM
Automatic programming.
A program verifier
Structured programming
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
COMP-REF: a technique to guide the delegation of responsibilities to components in software systems
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Hi-index | 0.00 |
To anyone that has had the slightest connection with the design and construction of large programs for digital computers, it is obvious that it is not a trivial task. What may not be so obvious is the almost complete lack of automation that has been applied to the task of software design. While computer scientists and technologists have been busy helping to apply computers to many other complex tasks, they have been notably tardy in applying the symbol-manipulating and decision-making power of the computer to the creation of software. While this has been the case in the past, there has recently been an upswing in activity aimed at automating software design. The purpose of this short paper is to provide some context, background, and initial roadmaps to people working in other areas of design automation who may wish to help us with the task of automating software design.