Automated reuse of design plans

Acosta, 1986, Analogical reasoning for digital system synthesis Balzer, 1983, Software technology in the 1990's using a new paradigm, IEEE Computer, 16, 39, 10.1109/MC.1983.1654237 Carbonell, 1986, Derivational analogy: a theory of reconstructive problem solving and expertise acquisition, Volume II Dietzen, 1986, Analogy in program development 1989 Huhns, 1987, Argo: an analogical reasoning system for solving design problems Kelly, 1984, The CRITTER system — automating critiquing of digital circuit designs Langrana, 1986, Progress toward a knowledge-based aid for mechanical design Mitchell, 1985, A knowledge-based approach to design, IEEE Transactions on Pattern Analysis and Machine Intelligence PAMI-7(5):502–510, 10.1109/TPAMI.1985.4767698 Mitchell, 1985, LEAP: A learning apprentice for VLSI design Mostow, 1984, A decision-based framework for comparing hardware compilers, Journal of Systems and Software, 4, 39, 10.1016/0164-1212(84)90020-7 Mostow, 1985, Toward better models of the design process, AI Magazine, 6, 44 Mostow, 1986, Why are design derivations hard to replay? Mostow, 1989, Design by derivational analogy: issues in the automated replay of design plans, Artificial Intelligence, 40, 119, 10.1016/0004-3702(89)90048-9 Mostow, 1989, Towards automated development of specialized algorithms for design synthesis: knowledge compilation as an approach to computer-aided design, Research in Engineering Design, 1 Mostow, 1989, An object-oriented representation for search algorithms Mostow, 1989, Replaying transformational derivations of heuristic search algorithms in DIOGENES Prieditis, 1987, SPIKE: A state-space search design system, Rutgers AI/Design Project Working Paper Number 77 Ramachandran, 1988, Expert systems approach in design of mechanical components, Journal of Engineering With Computers, 4, 185, 10.1007/BF01213980 Stallman, 1977, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence, 9, 135, 10.1016/0004-3702(77)90029-7 Steinberg, 1987, Design as refinement plus constraint propagation: the VEXED experience Steinberg, 1987, Design = Top down refinement plus constraint propagation plus what? Steinberg, 1985, The Redesign system: a knowledge-based approach to VLSI CAD, IEEE Design & Test, 2, 45, 10.1109/MDT.1985.294684 Steinberg, 1989, MEET: Decomposition and constraint propagation in mechanical design Tong, 1987, Goal-directed planning of the design process Tong, 1987 Tong, 1988, Knowledge-based circuit design Tong, 1989, Tuning a knowledge base of refinement rules to create good circuit designs Wile, 1983, Program developments: formal explanations of implementations, Communications of the Association for Computing Machinery (CACM), 26, 902, 10.1145/182.358443