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