The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1988 vol.21)
pp: 38-44
ABSTRACT
<p>An approach to inspections is proposed that would emphasize the search for correctness. It would hold up to scrutiny to not only what is on the page, but also the thought behind the representation. Inspectors would investigate how the program developed, looking for evidence of disciplined methods in its construction, adequate consideration of the error domain, and the program's ability to withstand years of use and inevitable change. An example inspection is given that uses a program developed according to IBM's design methods. The inspection presents the arguments as a series of questions that the inspectors would ask the author and themselves.</p>
CITATION
Robert N. Britcher, "Using Inspections to Investigate Program Correctness", Computer, vol.21, no. 11, pp. 38-44, November 1988, doi:10.1109/2.86785
36 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool