| |
Липаев, В. В.
Методология верификации и тестирования крупномасштабных программных средств [Текст] / В. В. Липаев
// Программирование. – 2003. – № 6. – 7-24.
Анализ, обзоры и тестирование требований являются важнейшей частью верификации и установления корректности программ |
