CAKE: an implemented hybrid knowledge representation and limited reasoning system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Hi-index | 0.00 |
A proposed tool, called the Design Apprentice (DA), can assist a programmer in the detailed design of programs. The DA supports software reuse through a library of commonly-used algorithmic fragments, or cliches. The library enables the design of a program be described concisely. The DA can detect some kinds of inconsistencies and incompleteness. It automatically selects appropriate algorithms and data structures, and supports the evolution of program designs by keeping explicit dependencies between the design decisions made. These capabilities of the DA are underlaid by a programming model, called programming by successive elaboration, which mimics the way programmers interact.