Fagan inspection

Инспекция программ (методология формального анализа, применяемая по завершении программирования модуля)