Active design reviews: principles and practices
Journal of Systems and Software
An axiomatic basis for computer programming
Communications of the ACM
The Science of Programming
A Discipline of Programming
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
An annotated bibliography on software inspections
ACM SIGSOFT Software Engineering Notes
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Software faults: a quantifiable definition
Advances in Engineering Software
Software faults: A quantifiable definition
Advances in Engineering Software
Hi-index | 4.10 |
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.