Advanced Search
DSpace@MIT

Abstraction, Inspection and Debugging in Programming

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.author Rich, Charles en_US
dc.contributor.author Waters, Richard C. en_US
dc.date.accessioned 2004-10-04T14:53:00Z
dc.date.available 2004-10-04T14:53:00Z
dc.date.issued 1981-06-01 en_US
dc.identifier.other AIM-634 en_US
dc.identifier.uri http://hdl.handle.net/1721.1/6357
dc.description.abstract We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different disciplines have many similarities. Three key ideas in current artificial intelligence theories of engineering problem solving are: Abstraction ??ing a simplified view of the problem to guide the problem solving process. Inspection ??roblem solving by recognizing the form ("plan") of a solution. Debugging ??ncremental modification of an almost satisfactory solution to a more satisfactory one. These three techniques are typically used together in a paradigm which we call AID (for Abstraction, Inspection, Debugging): First an abstract model of the problem is constructed in which some important details are not intentionally omitted. In this simplified view inspection methods are more likely to succeed, yielding the initial form of a solution. Further details of the problem are then added one at a time with corresponding incremental modifications to the solution. This paper states the goals and milestones of the remaining three years of a five year research project to study the fundamental principles underlying the design and construction of large software systems and to demonstrate the feasibility of a computer aided design tool for this purpose, called the programmer's apprentice. en_US
dc.format.extent 14278467 bytes
dc.format.extent 10377239 bytes
dc.format.mimetype application/postscript
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.relation.ispartofseries AIM-634 en_US
dc.title Abstraction, Inspection and Debugging in Programming en_US


Files in this item

Name Size Format Description
AIM-634.ps 13.61Mb Postscript
AIM-634.pdf 9.896Mb PDF

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage