Formal Review Techniques
Also known as Software Inspection Techniques or Reading Techniques...
-
Ad-hoc
-
Checklist
-
Reading By Stepwise Abstraction - Examine key sub-programs and work your way up.
-
Active Design Reviews - Questionnaires are used to focus the attention of the reviewers.
-
DefectBasedReading
-
PerspectiveBasedReading
Apparently experiments conducted at the University of Maryland (VictorBasili) showed that checklist methods are no more effective than ad-hoc in finding defects.