Inspection Methods in Programming: Cliches and Plans

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

Files in this item

Files	Size	Format	View
There are no files associated with this item.