Whether software engineering needs to be artificially intelligent
IEEE Transactions on Software Engineering
Layout design and verification
Layout design and verification
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Algorithm theories and design tactics
Science of Computer Programming
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Reducing problem-solving variance to improve predictability
Communications of the ACM
Automating software design
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A D&T Roundtable: CAD Software Development
IEEE Design & Test
The state of the Art of Computer Programming
The state of the Art of Computer Programming
Human Problem Solving
A New Way of Automatic Design of Software (Simulating Human Intentional Activity)
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
| Hi-index | 0.00 |
The knowledge representation and reasoning strategies in an automatic program synthesis architecture called ELF are described. ELF synthesizes computer-aided design (CAD) tools that automatically route wires in VLSI circuits. The design space ELF confronts, requires it to understand various physical technologies, to select an appropriate procedure-level decomposition, to choose algorithms and data structures, to manage any interdependencies, and to generate efficient code. ELF manages the design space using a variety of knowledge sources, including domain-specific knowledge. The manner in which knowledge is used determines the representation method of choice. The effectiveness of these ideas is illustrated via a tour through the synthesis steps for a specific routing tool, and a brief discussion of the performance of the resulting synthetic router as measured against an industrial tool.