Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6056Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | Rich, Charles | - |
| dc.date | 2004-10-04T14:37:04Z | - |
| dc.date | 2004-10-04T14:37:04Z | - |
| dc.date | 1987-12-01 | - |
| dc.date.accessioned | 2013-10-09T02:42:36Z | - |
| dc.date.available | 2013-10-09T02:42:36Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AIM-1005 | - |
| dc.identifier | http://hdl.handle.net/1721.1/6056 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.description | Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program validation by inspection. A formalism, called the Plan Calculus, is defined and used to represent programming cliches in a convenient, canonical, and programming-language independent fashion. | - |
| dc.format | 93 p. | - |
| dc.format | 8943620 bytes | - |
| dc.format | 3472944 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AIM-1005 | - |
| dc.subject | Programmer's Apprentice | - |
| dc.subject | automatic programming | - |
| dc.subject | knowledgesrepresentation | - |
| dc.subject | clich'es | - |
| dc.subject | plans | - |
| dc.subject | engineering problem solving | - |
| dc.title | Inspection Methods in Programming: Cliches and Plans | - |
| Appears in Collections: | MIT Items | |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.